Merge branch 'master' of git@gitlab.enst.fr:mbe-tools/TTool.git

build.txt

-12123
\ No newline at end of file
+12126
\ No newline at end of file

src/ui/DefaultText.java

@@ -49,8 +49,8 @@ package ui;
 
 public class DefaultText  {
 
-    public static String BUILD = "12122";
-    public static String DATE = "2017/02/10 02:01:04 CET";
+    public static String BUILD = "12125";
+    public static String DATE = "2017/02/13 02:01:02 CET";
     
     
     public static StringBuffer sbAbout = makeAbout();