chiark / gitweb /
Exit nonzero if any unknown options are provided on the command line.
[secnet.git] / .gitignore
2011-06-19 Ian Jacksoncleanup: use flex-generated declarations for scanner...
2011-06-19 Ian Jacksonbuild system: commit configure
2011-06-19 Ian Jacksonbuild system: add a .gitignore