From d69f307eec10fb1e2159b0da11d42f7fb9c8ff93 Mon Sep 17 00:00:00 2001
From: Ludovic Apvrille <ludovic.apvrille@telecom-paristech.fr>
Date: Thu, 6 Apr 2017 11:35:17 +0200
Subject: [PATCH] Update on default text
---
doc/ttool_windows.bat | 2 +-
src/ui/DefaultText.java | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/doc/ttool_windows.bat b/doc/ttool_windows.bat
index 9e9ae515bf..7abb8c080e 100755
--- a/doc/ttool_windows.bat
+++ b/doc/ttool_windows.bat
@@ -1,3 +1,3 @@
-chdir TTool\bin
+chdir bin
java -Xmx1024m -jar ttool.jar -launcher -config config.xml -nc -diplodocus -avatar -proverif
diff --git a/src/ui/DefaultText.java b/src/ui/DefaultText.java
index e88efe6e85..684fa525ce 100755
--- a/src/ui/DefaultText.java
+++ b/src/ui/DefaultText.java
@@ -60,7 +60,7 @@ public class DefaultText {
}
public static String getVersion() {
- return "0.99-beta2"; /* Set new release March. 30th, 2017 */
+ return "0.99-beta3"; /* Set new release April. 6th, 2017 */
}
public static String getFullVersion() {
--
GitLab