toolbox/projtool.pl: use the shell to run `command -v`
[girocco.git] / Girocco / extra / 
treed111ba962d6b9d59bec5a12ece79c77c27b7a799
drwxr-xr-x   ..
-rw-r--r-- 6148 capture_command.pl