projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9148c62) | patch
profiles/base: Mask dev-ada/gps-2018[gnat_2017]
authorMichał Górny <mgorny@gentoo.org>
Mon, 9 Sep 2019 06:30:41 +0000 (08:30 +0200)
committerMichał Górny <mgorny@gentoo.org>
Mon, 9 Sep 2019 19:02:25 +0000 (21:02 +0200)
commit4ae34e356c9859a2e92ac4c08291c0095d202ac9
treee283509c3f408aabb96043a084c3a77e95465825tree | snapshot
parent9148c62ef4b6c037794867e5cd7194f061cc7f02commit | diff
profiles/base: Mask dev-ada/gps-2018[gnat_2017]

Closes: https://bugs.gentoo.org/687208
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.