directory /src/gearsTools/ @ 94:d876c9a65239 default tip

name size permissions
[up] drwxr-xr-x
file generate_context.pl 6006 -rw-r--r--
file generate_stub.pl 27005 -rw-r--r--
file pmake.pl 6562 -rw-r--r--