diff options
| author |   Michael Gilroy <michael.gilroy24@gmail.com> | 2017-07-22 23:40:08 -0600 |
|---|---|---|
| committer | Michael Gilroy <michael.gilroy24@gmail.com> | 2017-07-22 23:40:08 -0600 |
| commit | 5ab469dd6663c0cd77bee4c29c8601df16b4b443 (patch) | |
| tree | d669f6bad479c2c3cbd074f390fd45b164ebcfde /profiles | |
| parent | commenting out version checks for testing (diff) | |
| download | gentoo-mpi-5ab469dd6663c0cd77bee4c29c8601df16b4b443.tar.gz gentoo-mpi-5ab469dd6663c0cd77bee4c29c8601df16b4b443.tar.bz2 gentoo-mpi-5ab469dd6663c0cd77bee4c29c8601df16b4b443.zip | |
has_version is no longer needed
Diffstat (limited to 'profiles')
0 files changed, 0 insertions, 0 deletions