model-checker: Don't discard error states.
[pspp-builds.git] / src / .gitignore
1 Makefile
2 Makefile.in