X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=code%2F.gitignore;h=b4022a0458efadaebe051c3abf2bcaf812ce3856;hb=c56640061fcacdc879db6b230cf41701681fc0ed;hp=6c83100449c26099656a4ba13806b3f297017edf;hpb=f299e4212080c6cff79893ba99cebe7ab18a500e;p=mc1516pa.git

diff --git a/code/.gitignore b/code/.gitignore
index 6c83100..b4022a0 100644
--- a/code/.gitignore
+++ b/code/.gitignore
@@ -2,3 +2,4 @@ Clean System Files
 a.out
 SokobanObjectwise
 *.prj
+NuSMV