projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 92dd860) | patch
profiles: mask =xfce-extra/xfce4-whiskermenu-plugin-2.0.1.
authorChristian Tietz <christian.tietz@mailbox.org>
Tue, 23 Aug 2016 22:05:47 +0000 (00:05 +0200)
committerPatrice Clement <monsieurp@gentoo.org>
Tue, 30 Aug 2016 18:31:14 +0000 (20:31 +0200)
commit907105c06e80f60233c55f38cb6f022f21592621
tree76dd525bc68738fa1aa6acb0743a7a6fd4226281tree | snapshot
parent92dd860deaa96fd46e14244854103fa3f2e4a89dcommit | diff
profiles: mask =xfce-extra/xfce4-whiskermenu-plugin-2.0.1.

Closes: https://github.com/gentoo/gentoo/pull/2132

Signed-off-by: Patrice Clement <monsieurp@gentoo.org>
profiles/package.mask diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.