Merge pull request #113 from jakzal/tools-update

Update tools
jakzal · Jun 13, 2019 · 50ce7b8 · 50ce7b8
2 parents fe56891 + 6c75afe
commit 50ce7b8
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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.13.1/infection.phar.asc",
+          "url": "https://github.com/infection/infection/releases/download/0.13.2/infection.phar.asc",
           "file": "%target-dir%/infection.phar.asc"
         },
         "phar-download": {
-          "phar": "https://github.com/infection/infection/releases/download/0.13.1/infection.phar",
+          "phar": "https://github.com/infection/infection/releases/download/0.13.2/infection.phar",
           "bin": "%target-dir%/infection"
         }
       },