diff options
| author |   Mart Raudsepp <leio@gentoo.org> | 2018-04-02 14:26:28 +0300 |
|---|---|---|
| committer | Mart Raudsepp <leio@gentoo.org> | 2018-04-02 14:26:47 +0300 |
| commit | dcb02911e58328fc6087dbc44946f378de1b5f7f (patch) | |
| tree | f8f88823b3e842481f77efbc284caae25f890b31 /profiles | |
| parent | profiles: Remove obsolete webkit-gtk[geoloc] masks that were for last rited s... (diff) | |
| download | gentoo-dcb02911e58328fc6087dbc44946f378de1b5f7f.tar.gz gentoo-dcb02911e58328fc6087dbc44946f378de1b5f7f.tar.bz2 gentoo-dcb02911e58328fc6087dbc44946f378de1b5f7f.zip | |
profiles/f/selinux: Remove obsolete gnome-shell-extensions-topicons p.mask
This package was last-rited in favor of gnome-shell-extensions-topicons-plus,
which is already p.masked there too for systemd in deptree
Diffstat (limited to 'profiles')
| -rw-r--r-- | profiles/features/selinux/package.mask | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/profiles/features/selinux/package.mask b/profiles/features/selinux/package.mask index a34bb2e68e46..99c776791b51 100644 --- a/profiles/features/selinux/package.mask +++ b/profiles/features/selinux/package.mask @@ -24,7 +24,6 @@ gnome-extra/chrome-gnome-shell gnome-extra/gnome-logs gnome-extra/gnome-shell-extensions gnome-extra/gnome-shell-frippery -gnome-extra/gnome-shell-extensions-topicons gnome-extra/gnome-shell-extensions-topicons-plus gnome-extra/gnome-tweak-tool x11-themes/zukitwo-shell |