From: VirtualTam <virtualtam@flibidi.net>
Date: Fri, 12 Oct 2018 21:47:59 +0000 (+0200)
Subject: lint: remove unused tools
X-Git-Tag: v0.10.3~2^2~2^2~6
X-Git-Url: https://git.immae.eu/?a=commitdiff_plain;h=37c9c6b4e62ba25f889ebb6486fe5c442acc9095;hp=37c9c6b4e62ba25f889ebb6486fe5c442acc9095;p=github%2Fshaarli%2FShaarli.git

lint: remove unused tools

Signed-off-by: VirtualTam <virtualtam@flibidi.net>
---