Add a local-options file to avoid accidentally committing patched source
[fmit.git] / NEWS