From: Mart Lubbers <mart@martlubbers.net>
Date: Fri, 4 Dec 2015 16:52:47 +0000 (+0100)
Subject: Merge branch 'master' of ygdrassil_git:ar1516
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=4deb8d5dc550faad8c69e53264b36a00514c2d4a;p=ar1516.git

Merge branch 'master' of ygdrassil_git:ar1516
---

4deb8d5dc550faad8c69e53264b36a00514c2d4a
diff --cc a2/src/path.sh
index 8d1a61c,3603923..abe4d9a
--- a/a2/src/path.sh
+++ b/a2/src/path.sh
@@@ -1,1 -1,3 +1,3 @@@
 -export PATH=$PATH:/home/mart/downloads/NuSMV-2.5.4/nusmv
 +export PATH=$PATH:/home/mart/downloads/NuSMV-2.6.0-Linux/bin
+ export PATH=$PATH:/home/mart/projects/NuSMV-2.6.0-Linux/bin
+ export PATH=$PATH:/home/mart/projects/LADR-2009-11A/bin