diff options
| author | iarspider <iarspider@gmail.com> | 2020-05-08 19:24:42 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-05-08 12:24:42 -0500 |
| commit | 08528a73793660831c25bd9a9d5bc84600a37a4a (patch) | |
| tree | ee1f76e8abfd98447d03771bb7fb2f6b397f3e94 /.github | |
| parent | fae55550f9a8a37617a657ebbf3b0c5ff73f7bc5 (diff) | |
| download | spack-08528a73793660831c25bd9a9d5bc84600a37a4a.tar.gz spack-08528a73793660831c25bd9a9d5bc84600a37a4a.tar.bz2 spack-08528a73793660831c25bd9a9d5bc84600a37a4a.tar.xz spack-08528a73793660831c25bd9a9d5bc84600a37a4a.zip | |
Gaudi: separate variant for building documentation (#16515)
* Gaudi: separate variant for building documentation
* Update package.py
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions