diff options
| author | Karel Kočí <karel.koci@nic.cz> | 2020-09-07 15:55:27 +0200 |
|---|---|---|
| committer | Karel Kočí <karel.koci@nic.cz> | 2020-09-07 15:55:27 +0200 |
| commit | 871e5242d03da54bfa9c20ee6898d69f890ffe63 (patch) | |
| tree | 89dd378c44b72e14eda4fd4fa497fa49dd57a64e /profiles/devel/avr/arduino/parent | |
| parent | dcda91fcb10b71198d275f05f23b5839eb8a4ec9 (diff) | |
| download | gentoo-personal-overlay-871e5242d03da54bfa9c20ee6898d69f890ffe63.tar.gz gentoo-personal-overlay-871e5242d03da54bfa9c20ee6898d69f890ffe63.tar.bz2 gentoo-personal-overlay-871e5242d03da54bfa9c20ee6898d69f890ffe63.zip | |
profiles: remove arduino
I am not using anyway.
Diffstat (limited to 'profiles/devel/avr/arduino/parent')
| -rw-r--r-- | profiles/devel/avr/arduino/parent | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/profiles/devel/avr/arduino/parent b/profiles/devel/avr/arduino/parent deleted file mode 100644 index eb4d905..0000000 --- a/profiles/devel/avr/arduino/parent +++ /dev/null @@ -1 +0,0 @@ -../ |