From 79d3040a9f2f03d30e774ec5efd19977760b37c0 Mon Sep 17 00:00:00 2001 From: Mikhail Pukhlikov Date: Thu, 20 Jul 2017 16:54:50 +0400 Subject: [PATCH] package.mask: add forgotten gnome-extra/docky --- profiles/package.mask | 1 + 1 file changed, 1 insertion(+) 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 -- 2.26.2