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

build.txt

-12271
+12272
\ No newline at end of file

src/main/java/ui/util/DefaultText.java

@@ -51,8 +51,8 @@ package ui.util;
  */
 public class DefaultText  {
 
-    public static String BUILD = "12270";
-    public static String DATE = "2017/06/22 02:01:25 CET";
+    public static String BUILD = "12271";
+    public static String DATE = "2017/06/23 02:01:25 CET";
     
     
     public static StringBuffer sbAbout = makeAbout();