projects / gentoo.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 9350eec)
features/selinux/package.mask: mask for gnome-shell-extension
authorPacho Ramos <pacho@gentoo.org>
Sat, 20 Apr 2019 17:55:37 +0000 (19:55 +0200)
committerPacho Ramos <pacho@gentoo.org>
Sat, 20 Apr 2019 17:59:46 +0000 (19:59 +0200)
Signed-off-by: Pacho Ramos <pacho@gentoo.org>
profiles/features/selinux/package.mask patch | blob | history

diff --git a/profiles/features/selinux/package.mask b/profiles/features/selinux/package.mask
index 3c3e2d5da5704a25356af09e3d3ad935960154f9..84625d6e23671783edd217405f573ed9753acd06 100644 (file)
--- a/profiles/features/selinux/package.mask
+++ b/profiles/features/selinux/package.mask
@@ -28,6 +28,7 @@ gnome-extra/gnome-logs
 gnome-extra/gnome-shell-extensions
 gnome-extra/gnome-shell-frippery
 gnome-extra/gnome-shell-extensions-topicons-plus
+gnome-extra/gnome-shell-extension-applications-overview-tooltip
 gnome-extra/gnome-shell-extension-dash-to-panel
 gnome-extra/gnome-shell-extension-desktop-icons
 gnome-extra/gnome-shell-extension-gsconnect
Unnamed repository; edit this file 'description' to name the repository.