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

build.txt

-12717
\ No newline at end of file
+12735
\ No newline at end of file

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

@@ -50,8 +50,8 @@ package ui.util;
  */
 public class DefaultText {
 
-    public static String BUILD = "12716";
-    public static String DATE = "2018/08/01 02:01:40 CET";
+    public static String BUILD = "12734";
+    public static String DATE = "2018/08/23 02:01:53 CET";
 
     public static StringBuffer sbAbout = makeAbout();