]> git.jsancho.org Git - lugaru.git/commit
Improve formatting of devtools docs
authorRémi Verschelde <rverschelde@gmail.com>
Sat, 10 Dec 2016 21:58:59 +0000 (22:58 +0100)
committerRémi Verschelde <rverschelde@gmail.com>
Sat, 10 Dec 2016 21:58:59 +0000 (22:58 +0100)
commit3455f3a84eef6a73f39a4267da445c7998c3515e
treed2cc0ceb687bbcfb9a604f38a1a0dae7f54a9a22
parent8e5718278b898c3e7f007c2c3f742b46512094a0
Improve formatting of devtools docs
DEVTOOLS.txt