model-checker: Add command-line parser for model checking options.
[pspp-builds.git] / config / .gitignore
1 Makefile
2 Makefile.in