projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d00b626) | patch
profiles/base: Mask USE=isabelle everywhere
authorMichał Górny <mgorny@gentoo.org>
Wed, 3 Apr 2019 09:29:13 +0000 (11:29 +0200)
committerMichał Górny <mgorny@gentoo.org>
Wed, 3 Apr 2019 09:31:43 +0000 (11:31 +0200)
commit75df5a82d90d6451eb7059bebfedb2c935436c1b
tree19befec32814261d91d0a28ad8c878ee4e14c854tree | snapshot
parentd00b6268c055b490cd656abdb48729ca94139ceacommit | diff
profiles/base: Mask USE=isabelle everywhere

Signed-off-by: Michał Górny <mgorny@gentoo.org>
profiles/base/package.use.mask diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.