From 9c01c48965d183986587887f6bf93472c10e9585 Mon Sep 17 00:00:00 2001 From: Edouard DUPIN Date: Fri, 10 Jul 2015 12:17:55 +0200 Subject: [PATCH] [DEV] add gale in repo Gale is the new multiple os interface ==> permit user to use it without all the widget/message/... system --- default.xml | 1 + 1 file changed, 1 insertion(+) diff --git a/default.xml b/default.xml index 81ce1ee..b1ef0b3 100644 --- a/default.xml +++ b/default.xml @@ -8,6 +8,7 @@ path : installation path of the repository --> +