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 | 1bca70f53487f157d0df00deac7b46f133ee2cc6 (diff) | |
| download | gentoo-057e349c509993a90afb99bcb9bf2efb92a9ab37.tar.gz gentoo-057e349c509993a90afb99bcb9bf2efb92a9ab37.tar.xz | |
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 cdbcb01f77a..ca498b85907 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 |