From 102e46bd0cbec668c6768a9ce97b30787027ef88 Mon Sep 17 00:00:00 2001 From: Jakub Zalas Date: Mon, 27 Apr 2020 03:34:54 +0000 Subject: [PATCH] Update tools --- resources/tools.json | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/resources/tools.json b/resources/tools.json index 0c737dee..0e7b122d 100644 --- a/resources/tools.json +++ b/resources/tools.json @@ -131,11 +131,11 @@ "website": "https://infection.github.io/", "command": { "file-download": { - "url": "https://github.com/infection/infection/releases/download/0.16.2/infection.phar.asc", + "url": "https://github.com/infection/infection/releases/download/0.16.3/infection.phar.asc", "file": "%target-dir%/infection.phar.asc" }, "phar-download": { - "phar": "https://github.com/infection/infection/releases/download/0.16.2/infection.phar", + "phar": "https://github.com/infection/infection/releases/download/0.16.3/infection.phar", "bin": "%target-dir%/infection" } },