Update phan (0.12.13 -> 0.12.15)

jakzal · Jul 23, 2018 · 439a852 · 439a852
1 parent 52474ad
commit 439a852
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tools.json b/tools.json
@@ -153,7 +153,7 @@
       "website": "https://github.com/phan/phan",
       "command": {
         "phar-download": {
-          "phar": "https://github.com/phan/phan/releases/download/0.12.13/phan.phar",
+          "phar": "https://github.com/phan/phan/releases/download/0.12.15/phan.phar",
           "bin": "/usr/local/bin/phan"
         }
       },