From 871e5242d03da54bfa9c20ee6898d69f890ffe63 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Karel=20Ko=C4=8D=C3=AD?= Date: Mon, 7 Sep 2020 15:55:27 +0200 Subject: profiles: remove arduino I am not using anyway. --- profiles/host-errol/parent | 1 - 1 file changed, 1 deletion(-) (limited to 'profiles/host-errol') diff --git a/profiles/host-errol/parent b/profiles/host-errol/parent index cfd55e6..097f39f 100644 --- a/profiles/host-errol/parent +++ b/profiles/host-errol/parent @@ -4,7 +4,6 @@ ../desktop/wayland ../devel ../devel/arm -../devel/avr/arduino ../devel/bigclown ../hwdevel ../latex -- cgit v1.2.3