diff options
author | VirtualTam <virtualtam@flibidi.net> | 2018-10-12 23:47:59 +0200 |
---|---|---|
committer | VirtualTam <virtualtam@flibidi.net> | 2018-12-02 22:39:16 +0100 |
commit | 37c9c6b4e62ba25f889ebb6486fe5c442acc9095 (patch) | |
tree | 2b9113c6ea1e66fbba348e501789e871ae7016eb /tests/PluginManagerTest.php | |
parent | 5e0a898bb13fad528514b0d33763bcaae38b45b0 (diff) | |
download | Shaarli-37c9c6b4e62ba25f889ebb6486fe5c442acc9095.tar.gz Shaarli-37c9c6b4e62ba25f889ebb6486fe5c442acc9095.tar.zst Shaarli-37c9c6b4e62ba25f889ebb6486fe5c442acc9095.zip |
lint: remove unused tools
Signed-off-by: VirtualTam <virtualtam@flibidi.net>
Diffstat (limited to 'tests/PluginManagerTest.php')
0 files changed, 0 insertions, 0 deletions