directory /tools/ @ 472:9b3ec2748616 default tip

name size permissions
[up] drwxr-xr-x
dir. python/ pkglint drwxr-xr-x
file Makefile 1263 -rw-r--r--
file bass-o-matic 5929 -rwxr-xr-x
file build-watch.d 1945 -rwxr-xr-x
file build-watch.pl 4107 -rwxr-xr-x
file check-environment.sh 2754 -rwxr-xr-x
file cloney 1490 -rwxr-xr-x
file pkglintrc 925 -rw-r--r--
file sunw-history-package 2618 -rwxr-xr-x
file time.c 3642 -rw-r--r--
file userland-fetch 5661 -rwxr-xr-x
file userland-mangler 6905 -rwxr-xr-x
file userland-unpack 4040 -rwxr-xr-x