diff options
| author | Harmen Stoppels <me@harmenstoppels.nl> | 2024-10-24 08:55:14 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-10-24 08:55:14 +0200 |
| commit | d8c80747624e32ade173de081473782e3fb7eebe (patch) | |
| tree | 970a1b0920c12a4c49c07779c1bd35c97618f028 /.gitignore | |
| parent | faeef6272dcf52acc87cad55e0fee0edba44ba49 (diff) | |
| download | spack-d8c80747624e32ade173de081473782e3fb7eebe.tar.gz spack-d8c80747624e32ade173de081473782e3fb7eebe.tar.bz2 spack-d8c80747624e32ade173de081473782e3fb7eebe.tar.xz spack-d8c80747624e32ade173de081473782e3fb7eebe.zip | |
bootstrap: add clingo 3.13 binaries and more (#47126)
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions