main: rename 'real_main()' to 'model_main()'

[model-checker.git] / .gitignore

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

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