From 6133887f5fbd2c7eda481e3a68a8c5762e630d2d Mon Sep 17 00:00:00 2001
From: Daniela GENIUS <genius@padme.soc.lip6.fr>
Date: Wed, 9 May 2018 16:30:15 +0200
Subject: [PATCH] test

---
 ttooldaniela.exe | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100755 ttooldaniela.exe

diff --git a/ttooldaniela.exe b/ttooldaniela.exe
new file mode 100755
index 0000000000..940eb9cb27
--- /dev/null
+++ b/ttooldaniela.exe
@@ -0,0 +1,7 @@
+#!/bin/sh
+
+java -version
+cd bin;
+java -Xmx1024m -jar ttool.jar -config config.xml -experimental -debug -avatar -uppaal -launcher
+
+ 
-- 
GitLab