Don't make spurious version directories, and fix update-dev script.
[phpv.git] / bin / 
tree3304873a6c13c1b889075cc1219c1c3e17a8f2fe
drwxr-xr-x   ..
-rwxr-xr-x 160 phpv