projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 76947bc) | patch
profiles/arch/arm: mask java for openmpi
authorChristoph Junghans <junghans@gentoo.org>
Fri, 10 Feb 2017 21:55:31 +0000 (14:55 -0700)
committerChristoph Junghans <junghans@gentoo.org>
Fri, 10 Feb 2017 21:55:56 +0000 (14:55 -0700)
commit8cf5d4091d8467aa2a74e469e535d830a9d09640
tree227b80de4a120c07696a8b058dba65a052e307e8tree | snapshot
parent76947bc502ce01cf73e167b9afadf49830a70698commit | diff
profiles/arch/arm: mask java for openmpi
profiles/arch/arm/package.use.mask diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.