profiles: mask xfce-extra/xfce-theme-manager for removal
authorJason Zaman <perfinion@gentoo.org>
Sun, 8 Apr 2018 09:06:51 +0000 (17:06 +0800)
committerJason Zaman <perfinion@gentoo.org>
Sun, 8 Apr 2018 09:10:26 +0000 (17:10 +0800)
commite11c32692b5bc36465e7eb9af693402d250f48f6
tree96782ea791a94a9c3f3503744f055ecc800c0917
parent9bf21f522c4732fd1dc466c7e52166e5dec6a3ef
profiles: mask xfce-extra/xfce-theme-manager for removal
profiles/package.mask