Mode | Name | Size | |
---|---|---|---|
-rwxr-xr-x | chkdatabase.awk | 4050 | logplain |
-rwxr-xr-x | genindex.awk | 10905 | logplain |
-rwxr-xr-x | genreadme.awk | 21923 | logplain |
-rwxr-xr-x | mkdatabase | 5986 | logplain |
-rwxr-xr-x | mkreadme | 13999 | logplain |
-rw-r--r-- | shell-lib | 9722 | logplain |
-rwxr-xr-x | transform-la | 2408 | logplain |