Merge branch 'master' of github.com:dopefishh/mc1516pa
[mc1516pa.git] / code / .gitignore
1 Clean System Files
2 a.out
3 SokobanObjectwise
4 *.prj
5 NuSMV