diff options
| author |   Michael Haubenwallner <haubi@gentoo.org> | 2018-07-02 19:00:59 +0200 |
|---|---|---|
| committer | Michael Haubenwallner <haubi@gentoo.org> | 2018-07-02 19:01:45 +0200 |
| commit | 35470d5b1108131584d611fcc7697090eb7de0cd (patch) | |
| tree | f8c27249d033272a970803d027b74cd1741f76a5 /sys-cluster/openmpi | |
| parent | www-client/opera-developer: Old. (diff) | |
| download | gentoo-35470d5b1108131584d611fcc7697090eb7de0cd.tar.gz gentoo-35470d5b1108131584d611fcc7697090eb7de0cd.tar.bz2 gentoo-35470d5b1108131584d611fcc7697090eb7de0cd.zip | |
prefix/cygwin: p.mask gettext-0.19.8.1 for now
Diffstat (limited to 'sys-cluster/openmpi')
0 files changed, 0 insertions, 0 deletions