X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=code%2F.gitignore;h=b4022a0458efadaebe051c3abf2bcaf812ce3856;hb=2b563274d5be82064d132314c31775119fdeeb9c;hp=dacd0be75cbe4211d63cca842e00ca6239df21c2;hpb=81190f3341c4f7f12529ffa32f5f6a3ca984da77;p=mc1516pa.git

diff --git a/code/.gitignore b/code/.gitignore
index dacd0be..b4022a0 100644
--- a/code/.gitignore
+++ b/code/.gitignore
@@ -1,3 +1,5 @@
 Clean System Files
 a.out
 SokobanObjectwise
+*.prj
+NuSMV