From a52fff0c401f66900cd7ee4be0c97d4a7fa9a81e Mon Sep 17 00:00:00 2001
From: Ludovic Apvrille <ludovic.apvrille@telecom-paristech.fr>
Date: Wed, 20 Feb 2019 18:20:30 +0100
Subject: [PATCH] Updating default TTool conf file

---
 ttool/runtime/config.xml | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/ttool/runtime/config.xml b/ttool/runtime/config.xml
index 13aa9166a4..5aee3dfda6 100755
--- a/ttool/runtime/config.xml
+++ b/ttool/runtime/config.xml
@@ -66,10 +66,6 @@
 <ExternalCommand2Host data="localhost"/>
 <ExternalCommand2 data="/packages/uppaal4.0.11/uppaal ../uppaal/spec.xml"/>
 
-
-
 <ProVerifHash data="1427594573"/>
 
-
-<LastOpenFile data="../modeling/AVATAR/CoffeeMachine_Avatar.xml" />
 </TURTLECONFIGURATION>
-- 
GitLab