chiark / gitweb /
Exit nonzero if any unknown options are provided on the command line.
[secnet.git] / .dir-locals.el
2011-06-19 Richard Kettlewellcleanup: add a .dir-locals.el