diff options
| author | Harmen Stoppels <harmenstoppels@gmail.com> | 2021-10-18 08:41:35 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-10-18 08:41:35 +0200 |
| commit | 33ef7d57c1a09d6ce454503e9ff5638747e4f4a2 (patch) | |
| tree | aff9046230926f46bf2cf512c7a0ef965dd0dee7 /share | |
| parent | 9c7e71df34fee94521365861eb18de7dd39c0838 (diff) | |
| download | spack-33ef7d57c1a09d6ce454503e9ff5638747e4f4a2.tar.gz spack-33ef7d57c1a09d6ce454503e9ff5638747e4f4a2.tar.bz2 spack-33ef7d57c1a09d6ce454503e9ff5638747e4f4a2.tar.xz spack-33ef7d57c1a09d6ce454503e9ff5638747e4f4a2.zip | |
Revert 19736 because conflicts are avoided by clingo by default (#26721)
Diffstat (limited to 'share')
0 files changed, 0 insertions, 0 deletions