diff options
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 |