Gentoo Archives: gentoo-commits

From: Mikhail Pukhlikov <cynede@g.o>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] repo/gentoo:master commit in: profiles/
Date: Thu, 20 Jul 2017 12:55:30
Message-Id: 1500555290.79d3040a9f2f03d30e774ec5efd19977760b37c0.cynede@gentoo
1 commit: 79d3040a9f2f03d30e774ec5efd19977760b37c0
2 Author: Mikhail Pukhlikov <cynede <AT> gentoo <DOT> org>
3 AuthorDate: Thu Jul 20 12:54:50 2017 +0000
4 Commit: Mikhail Pukhlikov <cynede <AT> gentoo <DOT> org>
5 CommitDate: Thu Jul 20 12:54:50 2017 +0000
6 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=79d3040a
7
8 package.mask: add forgotten gnome-extra/docky
9
10 profiles/package.mask | 1 +
11 1 file changed, 1 insertion(+)
12
13 diff --git a/profiles/package.mask b/profiles/package.mask
14 index d4f816d6d58..9de00afdc9d 100644
15 --- a/profiles/package.mask
16 +++ b/profiles/package.mask
17 @@ -33,6 +33,7 @@
18 # Old mono/dotnet packages (used on GNOME2 stack)
19 # also some deprecated forks used for monodevelop
20 # awhile they are very unstable they will live in dotnet overlay
21 +gnome-extra/docky
22 dev-dotnet/gnome-desktop-sharp
23 dev-dotnet/gtksourceview-sharp
24 dev-dotnet/rsvg-sharp