directory /tools/ @ 935:7672a37e7545 default tip

name size permissions
[up] drwxr-xr-x
file conv_func.pl 3143 -rw-r--r--
file find-gcc-include-path 828 -rw-r--r--
file incpri.pl 1742 -rw-r--r--
file mc-h-renum.pl 2249 -rw-r--r--
file regs.pl 672 -rw-r--r--
file regs_use.pl 149 -rw-r--r--
file stdio.h.linuxzurus 3026 -rwxr-xr-x