action: reword comments

[model-checker.git] / .gitignore

# generic types
*.o
.*.swp
*.swo
*.so
*~
*.dot

# files in this directory
/tags
/doc/docs
/make.deps