repositories / ar1516.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
spellcheck
[ar1516.git] / .gitignore
1 *.log
2 *.fmt
3 *.fmt
4 *.aux
5 *.out
6 *.toc
7 *.pdf
8 *.png
9 *.xyc
1516-S1 - NWI-IMC009: Automated Reasoning