From 12c565062145aa672d9fd9529e2b17702569cfd8 Mon Sep 17 00:00:00 2001
From: apvrille <ludovic.apvrille@eurecom.fr>
Date: Mon, 14 May 2018 17:08:57 +0200
Subject: [PATCH] Removing ttool daniela

---
 ttooldaniela.exe | 7 -------
 1 file changed, 7 deletions(-)
 delete mode 100755 ttooldaniela.exe

diff --git a/ttooldaniela.exe b/ttooldaniela.exe
deleted file mode 100755
index c2b7b9ae40..0000000000
--- 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
-
- 
-- 
GitLab