diff options
| author | John W. Parent <45471568+johnwparent@users.noreply.github.com> | 2024-06-20 12:39:58 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-06-20 16:39:58 +0000 |
| commit | 58db81c3233b5a0fd81f555b6152f1e00d336f65 (patch) | |
| tree | 1c9ea515631d61d8efcce97dbc03fd40db433e8f /share | |
| parent | e8670088192e5d7e324298e6ac73b21b1dc1fb4e (diff) | |
| download | spack-58db81c3233b5a0fd81f555b6152f1e00d336f65.tar.gz spack-58db81c3233b5a0fd81f555b6152f1e00d336f65.tar.bz2 spack-58db81c3233b5a0fd81f555b6152f1e00d336f65.tar.xz spack-58db81c3233b5a0fd81f555b6152f1e00d336f65.zip | |
bootstrap: test building clingo from sources on windows (#44624)
Diffstat (limited to 'share')
0 files changed, 0 insertions, 0 deletions