Add a local-options file to avoid accidentally committing patched source
[fmit.git] / AUTHORS
1 Gilles Degottex <gilles.degottex@net2000.ch>