profiles: Mask USE="openmpi_rm_pbs" on arm
authorDavid Seifert <soap@gentoo.org>
Sat, 11 Feb 2017 15:28:41 +0000 (16:28 +0100)
committerDavid Seifert <soap@gentoo.org>
Sat, 11 Feb 2017 15:29:47 +0000 (16:29 +0100)
commitb808dee115721e73cab891213bbd365f84417de7
tree25fae0e1d58414a1b37c5f28b2473b7ac5d3c7d9
parentd109e4579fddca51d7b95e719acd3cc7bb69f014
profiles: Mask USE="openmpi_rm_pbs" on arm
profiles/arch/arm/package.use.mask