diff options
| author |   Chí-Thanh Christopher Nguyễn <chithanh@gentoo.org> | 2015-10-26 17:39:28 +0100 |
|---|---|---|
| committer | Chí-Thanh Christopher Nguyễn <chithanh@gentoo.org> | 2015-10-26 17:39:28 +0100 |
| commit | 057e349c509993a90afb99bcb9bf2efb92a9ab37 (patch) | |
| tree | b459c90b32f314962c8f60e57eb2799d59ca5fe5 /profiles | |
| parent | media-libs/raspberrypi-userland: new snapshot (diff) | |
| download | gentoo-057e349c509993a90afb99bcb9bf2efb92a9ab37.tar.gz gentoo-057e349c509993a90afb99bcb9bf2efb92a9ab37.tar.bz2 gentoo-057e349c509993a90afb99bcb9bf2efb92a9ab37.zip | |
profiles/package.mask: drop raspberrypi-userland mask
Diffstat (limited to 'profiles')
| -rw-r--r-- | profiles/package.mask | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/profiles/package.mask b/profiles/package.mask index cdbcb01f77a9..ca498b85907c 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -440,10 +440,6 @@ www-apps/trac-downloads # someone needs to investigate. >=net-libs/libzrtpcpp-4 -# Chí-Thanh Christopher Nguyễn <chithanh@gentoo.org> (03 Sep 2014) -# Temporary mask until it is verified to work -=media-libs/raspberrypi-userland-0_pre20140830 - # Christian Faulhammer <fauli@gentoo.org> (02 Sep 2014) # website not working anymore and will stay like this, # tool is useless. See bug 504734 |