]> git.jsancho.org Git - lugaru.git/commitdiff
projects / lugaru.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: 2b4a9af)
Rename debug mode to dev tools
authorRémi Verschelde <rverschelde@gmail.com>
Sat, 10 Dec 2016 19:31:46 +0000 (20:31 +0100)
committerRémi Verschelde <rverschelde@gmail.com>
Sat, 10 Dec 2016 19:41:07 +0000 (20:41 +0100)
The new config is then "Devtools" and the command line option is
--devtools, -d.


No differences found
Lugaru Customization