model-checker: Add command-line parser for model checking options.
[pspp-builds.git] / lib / .gitignore
2008-07-06 Ben PfaffRemove obsolete .gitignore entries.
2008-07-06 Ben PfaffRename .cvsignore files to .gitignore.