git ignore
[unres.git] / .gitignore
1 # ignore compiled stuff
2 *.[oa]
3
4 # ignore texteditors
5 *.swp
6 *~
7
8
9 # ignore build dir
10 build/
11
12 # ignored dirs form adasko
13 gradcheck/
14 mapcheck/
15 run/
16 sympcheck/
17 compinfo