diff options
author | Mikhail Pukhlikov <cynede@gentoo.org> | 2017-07-20 16:54:50 +0400 |
---|---|---|
committer | Mikhail Pukhlikov <cynede@gentoo.org> | 2017-07-20 16:54:50 +0400 |
commit | 79d3040a9f2f03d30e774ec5efd19977760b37c0 (patch) | |
tree | 6a20b53ff08c90efaf31a99b5830bfa6c24c67f2 /profiles | |
parent | package.mask: Mask old dotnet packages for removal (diff) | |
download | gentoo-79d3040a9f2f03d30e774ec5efd19977760b37c0.tar.gz gentoo-79d3040a9f2f03d30e774ec5efd19977760b37c0.tar.bz2 gentoo-79d3040a9f2f03d30e774ec5efd19977760b37c0.zip |
package.mask: add forgotten gnome-extra/docky
Diffstat (limited to 'profiles')
-rw-r--r-- | profiles/package.mask | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/profiles/package.mask b/profiles/package.mask index d4f816d6d585..9de00afdc9d9 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -33,6 +33,7 @@ # Old mono/dotnet packages (used on GNOME2 stack) # also some deprecated forks used for monodevelop # awhile they are very unstable they will live in dotnet overlay +gnome-extra/docky dev-dotnet/gnome-desktop-sharp dev-dotnet/gtksourceview-sharp dev-dotnet/rsvg-sharp |