towards supporting scanalysis...
[model-checker.git] / .gitignore
1 # generic types
2 *.o
3 .*.swp
4 *.swo
5 *.so
6 *~
7 *.dot
8 .*.d
9 *.pdf
10
11 # files in this directory
12 /tags
13 /doc/docs
14 /benchmarks