diff options
| author |   Michał Górny <mgorny@gentoo.org> | 2018-11-28 14:18:08 +0100 |
|---|---|---|
| committer | Michał Górny <mgorny@gentoo.org> | 2018-11-28 14:18:08 +0100 |
| commit | f89937cd40c9304f55d0b7fb30808b6b4b098dc1 (patch) | |
| tree | d1fcdae053ef9001b070a1d24108deaf9eaa4a05 /profiles | |
| parent | media-gfx/splash-themes-livecd: Remove last-rited pkg (diff) | |
| download | gentoo-f89937cd40c9304f55d0b7fb30808b6b4b098dc1.tar.gz gentoo-f89937cd40c9304f55d0b7fb30808b6b4b098dc1.tar.bz2 gentoo-f89937cd40c9304f55d0b7fb30808b6b4b098dc1.zip | |
media-gfx/splash-themes-gentoo: Remove last-rited pkg
Signed-off-by: Michał Górny <mgorny@gentoo.org>
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 a8218e07bc76..3a02effae865 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -497,7 +497,6 @@ dev-db/pgadmin3 # Removal in a month. media-gfx/splashutils media-gfx/bootsplash-themes -media-gfx/splash-themes-gentoo # Sobhan Mohammadpour <sobhan@gentoo.org> (15 Oct 2018) # Masked for testing. |