From 3fdc398289fc1cd141da4dd4637f46d1a014c9e6 Mon Sep 17 00:00:00 2001
From: Daniela Genius <Daniela.Genius@lip6.fr>
Date: Fri, 22 Apr 2016 16:22:29 +0000
Subject: [PATCH] paperDSD

---
 bin/config.xml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/bin/config.xml b/bin/config.xml
index 10fe63236d..dd93393152 100755
--- a/bin/config.xml
+++ b/bin/config.xml
@@ -62,11 +62,11 @@
 <ExternalCommand2Host data="localhost"/>
 <ExternalCommand2 data="/packages/uppaal(4.0.11/uppaal /users/enseig/genius/TURTLE/uppaal/spec.xml"/>
 
-<LastOpenFile data="/users/enseig/genius/TURTLE/modeling/MicroWaveOven_SimpleSynchronousDeploy2CPU2RAM.xml"/>
+<LastOpenFile data="/users/enseig/genius/TURTLE/modeling/DASIP2016/DASIP2016_1proc.xml"/>
 
 
 
-<LastWindowAttributes x="364" y="25" width="1461" height="938" max="false" />
+<LastWindowAttributes x="1117" y="60" width="1461" height="938" max="false" />
 
 
 <ProVerifHash data=""/>
-- 
GitLab