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