diff options
author | Harmen Stoppels <harmenstoppels@gmail.com> | 2022-07-22 19:34:04 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-07-22 10:34:04 -0700 |
commit | 215a99cbc3fe5a2c007b5a0e2b17b31a717c7123 (patch) | |
tree | 9cc5cf78f4ac5b47712802f568f33c55aa53b5b3 /share | |
parent | 517293efe085d2bf982745dddc9fcb89271b6afd (diff) | |
download | spack-215a99cbc3fe5a2c007b5a0e2b17b31a717c7123.tar.gz spack-215a99cbc3fe5a2c007b5a0e2b17b31a717c7123.tar.bz2 spack-215a99cbc3fe5a2c007b5a0e2b17b31a717c7123.tar.xz spack-215a99cbc3fe5a2c007b5a0e2b17b31a717c7123.zip |
clingo patch fixed in patch release (#31690)
Diffstat (limited to 'share')
0 files changed, 0 insertions, 0 deletions