diff options
author | Karel Kočí <cynerd@email.cz> | 2019-02-23 23:01:37 +0100 |
---|---|---|
committer | Karel Kočí <cynerd@email.cz> | 2019-02-23 23:01:37 +0100 |
commit | d2e36226a691bc87a1b34a57c38368a747c50758 (patch) | |
tree | 8bd22bd4bfb0463fa1a8a237a90f3ed09adf857d /profiles/devel/arduino/packages | |
parent | 0249ac8637593cbc8721b0aabe59de25ccdbf3b7 (diff) | |
download | gentoo-personal-overlay-d2e36226a691bc87a1b34a57c38368a747c50758.tar.gz gentoo-personal-overlay-d2e36226a691bc87a1b34a57c38368a747c50758.tar.bz2 gentoo-personal-overlay-d2e36226a691bc87a1b34a57c38368a747c50758.zip |
profiles: move stuff around
Diffstat (limited to 'profiles/devel/arduino/packages')
-rw-r--r-- | profiles/devel/arduino/packages | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/profiles/devel/arduino/packages b/profiles/devel/arduino/packages deleted file mode 100644 index 9446a99..0000000 --- a/profiles/devel/arduino/packages +++ /dev/null @@ -1 +0,0 @@ -dev-embedded/arduino |