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