git.jsancho.org Git - lugaru.git/commit

]> git.jsancho.org Git - lugaru.git/commit

author	Rémi Verschelde <rverschelde@gmail.com>
	Sat, 10 Dec 2016 19:31:46 +0000 (20:31 +0100)
committer	Rémi Verschelde <rverschelde@gmail.com>
	Sat, 10 Dec 2016 19:41:07 +0000 (20:41 +0100)
commit	2b4a9af9f7693a7715ae77f491157baac7257b10
tree	885e508dc0434a707feb9a11c78068820b166fd3	tree \| snapshot
parent	6d0b9e981b34f3141c488bbe13db3f8cbbb5d754	commit \| diff

Rename debug mode to dev tools

The new config is then "Devtools" and the command line option is
--devtools, -d.

13 files changed:

Lugaru Customization