[model-checker.git] / .gitignore

# generic types
*.o
.*.swp

# files in this directory
/libthreads