repositories / mc1516.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
up
[mc1516.git] / .gitignore
1 *.log
2 *.aux
3 *.pdf
4 *.dvi
5 NuSMV
6 nusmv
1516-S2 - NWI-IMC046: Model Checking