]> git.jsancho.org Git - lugaru.git/commit
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)
commit5fca41ab430df85d6dd620a7f4130df01bc1430f
tree3005b909503c8c7a867679a2b47f420d627f4d22
parent919ccd0d70eab67f34ec14fe35925328f8413462
Devtools: Remove obsolete skin cmds, fix docs
Docs/DEVTOOLS.txt
Source/Devtools/ConsoleCmds.cpp
Source/Devtools/ConsoleCmds.def