From: VirtualTam <virtualtam@flibidi.net>
Date: Mon, 7 Dec 2015 20:48:57 +0000 (+0100)
Subject: Merge pull request #393 from ArthurHoaro/tools-js-indent
X-Git-Tag: v0.6.2~7
X-Git-Url: https://git.immae.eu/?p=github%2Fshaarli%2FShaarli.git;a=commitdiff_plain;h=b16e3dc5903e23ac653d0de4e3bffc3d1e529a89

Merge pull request #393 from ArthurHoaro/tools-js-indent

Minimal indent of tools.html
---

b16e3dc5903e23ac653d0de4e3bffc3d1e529a89