fixed buglet with -v
[org.ibex.tool.git] / src / org / ibex /
drwxr-xr-x   ..
drwxr-xr-x - tool