]> git.jsancho.org Git - lugaru.git/commitdiff
Devtools: Remove obsolete skin cmds, fix docs
authorRémi Verschelde <rverschelde@gmail.com>
Sat, 11 Feb 2017 18:20:04 +0000 (19:20 +0100)
committerRémi Verschelde <rverschelde@gmail.com>
Sat, 11 Feb 2017 18:32:04 +0000 (19:32 +0100)

No differences found