Oliver Klee ef38d7d84b

[TASK] Drop the .phar suffix from the tools (#204) ...

PhpStorm by default indexes `*.phar` files. For our current set of
tools, we do not want this. (This keeps PhpStorm from complaining
about multiple versions of the same class.)

Also mark the tools as binary for git.

2021-02-24 12:02:56 +01:00

849 KiB

Executable file

Raw History

View raw