From b4ae23b32599a545911d41723aa715d187d406d4 Mon Sep 17 00:00:00 2001 From: Wolfgang Wiedmeyer Date: Sat, 16 Jan 2016 13:30:03 +0100 Subject: [PATCH] toolchain branches are now merged in main branch Signed-off-by: Wolfgang Wiedmeyer --- default.xml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/default.xml b/default.xml index 1c331d6..78a10b0 100644 --- a/default.xml +++ b/default.xml @@ -25,7 +25,7 @@ sync-j="4" /> - + @@ -310,7 +310,7 @@ - +