From 3fac9312b496625a302b06248f3f325f42075f26 Mon Sep 17 00:00:00 2001 From: Wolfgang Wiedmeyer Date: Sun, 11 Dec 2016 16:33:58 +0100 Subject: [PATCH] prebuilts: move devtools to notdefault group As the manifest merger is now available in Debian Stretch, devtools are not needed for building a ROM Signed-off-by: Wolfgang Wiedmeyer --- default.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/default.xml b/default.xml index 555d0c1..e2d1ef5 100644 --- a/default.xml +++ b/default.xml @@ -490,7 +490,7 @@ - +