]> git.jsancho.org Git - lugaru.git/commitdiff
Devtools: Improve fixtype cmd and document it
authorRémi Verschelde <rverschelde@gmail.com>
Sat, 11 Feb 2017 17:50:30 +0000 (18:50 +0100)
committerRémi Verschelde <rverschelde@gmail.com>
Sat, 11 Feb 2017 17:50:30 +0000 (18:50 +0100)

No differences found