From 27cf67ba2c7ff90c9c92f449d042b809eb8441d1 Mon Sep 17 00:00:00 2001 From: Dennis Eichhorn Date: Sun, 5 Nov 2017 14:40:08 +0100 Subject: [PATCH] Remove unused tools --- setup.sh | 2 -- 1 file changed, 2 deletions(-) diff --git a/setup.sh b/setup.sh index c55a8dc..fef7872 100644 --- a/setup.sh +++ b/setup.sh @@ -69,8 +69,6 @@ if [ ! -d "$TOOLS_PATH" ]; then wget -nc https://github.com/Halleck45/PhpMetrics/raw/master/build/phpmetrics.phar wget -nc http://phpdoc.org/phpDocumentor.phar wget -nc http://static.pdepend.org/php/latest/pdepend.phar - wget -nc https://squizlabs.github.io/PHP_CodeSniffer/phpcs.phar - wget -nc http://static.phpmd.org/php/latest/phpmd.phar wget -nc https://phar.phpunit.de/phpcpd.phar wget -nc http://dl.google.com/closure-compiler/compiler-latest.tar.gz tar -zxvf compiler-latest.tar.gz