A simple zsh plugin for the shell tool "php-version" to automatically switch between php versions if an rc-file is present
created at May 31, 2019, 12:59 p.m.
0 +0
6 +0