From 120458b4de64f586357f5139b55c3fb516a730e7 Mon Sep 17 00:00:00 2001 From: Ludovic Apvrille <ludovic.apvrille@telecom-paristech.fr> Date: Mon, 18 Jul 2016 12:54:41 +0000 Subject: [PATCH] --- bin/config.xml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/bin/config.xml b/bin/config.xml index 93fa2149de..cb1cef66a9 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/miniAsynchronousDeploy.xml"/> +<LastOpenFile data="/home/andream/andreae/Zigbee/models/ZigBeeDEMO.xml"/> -<LastWindowAttributes x="326" y="101" width="1461" height="933" max="false" /> +<LastWindowAttributes x="65" y="24" width="1301" height="744" max="true" /> <ProVerifHash data=""/> -- GitLab