diff options
| author | Christoph Junghans <christoph.junghans@gmail.com> | 2019-04-02 16:05:21 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-04-02 16:05:21 -0600 |
| commit | 356b5df7158d524b9e361c4af56a983e734b222c (patch) | |
| tree | c159e385d59cba08bd57643ef737bef5b8d4020c /.gitignore | |
| parent | 82be3a4668ac30b5d6fd2d289d3b70519be09af7 (diff) | |
| download | spack-356b5df7158d524b9e361c4af56a983e734b222c.tar.gz spack-356b5df7158d524b9e361c4af56a983e734b222c.tar.bz2 spack-356b5df7158d524b9e361c4af56a983e734b222c.tar.xz spack-356b5df7158d524b9e361c4af56a983e734b222c.zip | |
kripke: fix install (#11090)
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions