diff options
| author | Massimiliano Culpo <massimiliano.culpo@gmail.com> | 2020-10-31 22:36:35 +0100 |
|---|---|---|
| committer | Todd Gamblin <tgamblin@llnl.gov> | 2020-11-17 10:04:13 -0800 |
| commit | 63327d1eea2a724c2587316b94aecb09787a940d (patch) | |
| tree | 2fb94ab064e090449198ed2d4f562c6bb2ac5ad5 /share | |
| parent | 577676106cbfc4ee2de5c7237ae75c0ce23964ab (diff) | |
| download | spack-63327d1eea2a724c2587316b94aecb09787a940d.tar.gz spack-63327d1eea2a724c2587316b94aecb09787a940d.tar.bz2 spack-63327d1eea2a724c2587316b94aecb09787a940d.tar.xz spack-63327d1eea2a724c2587316b94aecb09787a940d.zip | |
Changed clingo options
Diffstat (limited to 'share')
0 files changed, 0 insertions, 0 deletions