directory /Scripts/ @ 1210:422313c3fcbd

name size permissions
[up] drwxr-xr-x
file bulk.sh 2765 -rwxr-xr-x
file lint-deps.sh 1482 -rwxr-xr-x
file lint-licenses.sh 1179 -rwxr-xr-x
file lint-options.sh 1180 -rwxr-xr-x
file lint-pkg.sh 1785 -rwxr-xr-x
file lint-shlibs.sh 2110 -rwxr-xr-x
file lint-src.sh 1546 -rwxr-xr-x
file lint.sh 1429 -rwxr-xr-x
file list.sh 1276 -rwxr-xr-x
file scripts.subr 1467 -rw-r--r--