From: Rémi Verschelde <rverschelde@gmail.com>
Date: Sat, 10 Dec 2016 21:58:59 +0000 (+0100)
Subject: Improve formatting of devtools docs
X-Git-Url: https://git.jsancho.org/?a=commitdiff_plain;ds=sidebyside;h=3455f3a84eef6a73f39a4267da445c7998c3515e;hp=3455f3a84eef6a73f39a4267da445c7998c3515e;p=lugaru.git

Improve formatting of devtools docs
---