]> git.jsancho.org Git - lugaru.git/history - AUTHORS
Mention devtools option in man page
[lugaru.git] / AUTHORS
2016-11-25 Rémi VerscheldeAdd copyright notice and AUTHORS file for open source...