directory /lint/ @ 16:f9e4689b837d

name size permissions
[up] drwxr-xr-x
dir. ok/ drwxr-xr-x
file DEFS.mk 400 -rw-r--r--
file check.sh 2849 -rwxr-xr-x
file get-sources.sh 1712 -rwxr-xr-x
file lint-rules.sh 1026 -rwxr-xr-x
file source-rules.sh 576 -rwxr-xr-x