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/host-ridcully/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/host-ridcully/parent')
| -rw-r--r-- | profiles/host-ridcully/parent | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/profiles/host-ridcully/parent b/profiles/host-ridcully/parent index cfd55e6..097f39f 100644 --- a/profiles/host-ridcully/parent +++ b/profiles/host-ridcully/parent @@ -4,7 +4,6 @@ ../desktop/wayland ../devel ../devel/arm -../devel/avr/arduino ../devel/bigclown ../hwdevel ../latex |