]> git.jsancho.org Git - lugaru.git/commit
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)
commitc8a6dd9ee1b43f98d4d98e9feb981bde02ac8772
tree67240fef6c3f0541ee6e9ab84630aa2deafd9fca
parentddbdc1a8a7b22f7a4c03667672436d8744f45c90
Devtools: Improve fixtype cmd and document it
Docs/DEVTOOLS.txt
Source/Devtools/ConsoleCmds.cpp
Source/Objects/Person.hpp