diff options
author | Karel Kočí <cynerd@email.cz> | 2018-03-25 21:48:57 +0200 |
---|---|---|
committer | Karel Kočí <cynerd@email.cz> | 2018-03-25 21:48:57 +0200 |
commit | d82a4c2fe58482a2921a576108d54d824c23db55 (patch) | |
tree | 7b79cbf930bd0f842a1ab67fafd0c88131820d5b /profiles/base/armv7a/rb2 | |
parent | cc482421612132d3561ea7bf7407535358c8984c (diff) | |
download | gentoo-personal-overlay-d82a4c2fe58482a2921a576108d54d824c23db55.tar.gz gentoo-personal-overlay-d82a4c2fe58482a2921a576108d54d824c23db55.tar.bz2 gentoo-personal-overlay-d82a4c2fe58482a2921a576108d54d824c23db55.zip |
Drop armv7a profile
Diffstat (limited to 'profiles/base/armv7a/rb2')
-rw-r--r-- | profiles/base/armv7a/rb2/packages | 3 | ||||
-rw-r--r-- | profiles/base/armv7a/rb2/parent | 1 |
2 files changed, 0 insertions, 4 deletions
diff --git a/profiles/base/armv7a/rb2/packages b/profiles/base/armv7a/rb2/packages deleted file mode 100644 index 91686f9..0000000 --- a/profiles/base/armv7a/rb2/packages +++ /dev/null @@ -1,3 +0,0 @@ -sys-kernel/linux-rb2 -sys-kernel/raspberrypi-image -media-libs/raspberrypi-userland diff --git a/profiles/base/armv7a/rb2/parent b/profiles/base/armv7a/rb2/parent deleted file mode 100644 index eb4d905..0000000 --- a/profiles/base/armv7a/rb2/parent +++ /dev/null @@ -1 +0,0 @@ -../ |