diff options
| author | Massimiliano Culpo <massimiliano.culpo@gmail.com> | 2024-02-20 16:49:49 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-02-20 07:49:49 -0800 |
| commit | f9e9fab2daa1f43b49f58425f50b6a7e66bd137b (patch) | |
| tree | 5acd22a07bf2b4c9765523bb95bc31dcb05040de /.gitattributes | |
| parent | b3f790c259d735a14be61638bd8697d7580e3890 (diff) | |
| download | spack-f9e9fab2daa1f43b49f58425f50b6a7e66bd137b.tar.gz spack-f9e9fab2daa1f43b49f58425f50b6a7e66bd137b.tar.bz2 spack-f9e9fab2daa1f43b49f58425f50b6a7e66bd137b.tar.xz spack-f9e9fab2daa1f43b49f58425f50b6a7e66bd137b.zip | |
clingo: add v5.7.1 (#42758)
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions