directory /core/gawk/ @ 730:a4d2a69b80d9

name size permissions
[up] drwxr-xr-x
file gawk-post.sh 861 -rwxr-xr-x
file gawk.sh 1566 -rwxr-xr-x
file gawk.sha1 60 -rw-r--r--