diff options
author | Michał Górny <mgorny@gentoo.org> | 2017-07-05 15:54:34 +0200 |
---|---|---|
committer | Michał Górny <mgorny@gentoo.org> | 2017-07-05 16:05:42 +0200 |
commit | 15b7e76f7647c9b2190da26bdecfff76eb379ff7 (patch) | |
tree | 81454bd9d54c1397eba11cc115435a3eabf4b282 /profiles | |
parent | dev-dotnet/gconf-sharp: Remove last-rited pkg (diff) | |
download | gentoo-15b7e76f7647c9b2190da26bdecfff76eb379ff7.tar.gz gentoo-15b7e76f7647c9b2190da26bdecfff76eb379ff7.tar.bz2 gentoo-15b7e76f7647c9b2190da26bdecfff76eb379ff7.zip |
dev-dotnet/art-sharp: Remove last-rited pkg
Diffstat (limited to 'profiles')
-rw-r--r-- | profiles/package.mask | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/profiles/package.mask b/profiles/package.mask index 56eec63af211..152ac1f5cc33 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -246,7 +246,6 @@ dev-dotnet/gtk-sharp-docs dev-dotnet/gtk-sharp-gapi dev-dotnet/pango-sharp <dev-dotnet/gnome-sharp-2.24.2-r1 -dev-dotnet/art-sharp # Michał Górny <mgorny@gentoo.org> (05 Jun 2017) # (on behalf of Treecleaner project) |