]> git.jsancho.org Git - lugaru.git/commit
Mention devtools option in man page
authorRémi Verschelde <rverschelde@gmail.com>
Sat, 10 Dec 2016 19:59:47 +0000 (20:59 +0100)
committerRémi Verschelde <rverschelde@gmail.com>
Sat, 10 Dec 2016 19:59:47 +0000 (20:59 +0100)
commitc5dc3750efbc615b70917f19bb95cbd352cd00f6
treec4b69915e4355d7d94be057e9f24660c227f21d0
parent2b4a9af9f7693a7715ae77f491157baac7257b10
Mention devtools option in man page
Dist/lugaru.6
Source/main.cpp