features/selinux/package.mask: add gnome-shell-extension
authorPacho Ramos <pacho@gentoo.org>
Sun, 24 Mar 2019 16:41:51 +0000 (17:41 +0100)
committerPacho Ramos <pacho@gentoo.org>
Sun, 24 Mar 2019 16:41:51 +0000 (17:41 +0100)
commit529c9b80c67cdb8c21a83965813b6a381dc0c378
treea3ce0f51900d634a9dabb6e291007438fabc755a
parentd4600db3d6bf1b83fe97517caec6c8f57d150db7
features/selinux/package.mask: add gnome-shell-extension

Signed-off-by: Pacho Ramos <pacho@gentoo.org>
profiles/features/selinux/package.mask