Mode | Name | Size | |
---|---|---|---|
d--------- | html | 38 | logplain |
d--------- | man | 38 | logplain |
-rwxr-xr-x | mdoc2man.awk | 9897 | logplain |
-rwxr-xr-x | mdoc2mediawiki.awk | 11314 | logplain |
-rwxr-xr-x | mdoc2wiki.awk | 11204 | logplain |
d--------- | 38 | logplain | |
d--------- | text | 38 | logplain |
-rwxr-xr-x | update.sh | 3395 | logplain |
d--------- | wiki | 38 | logplain |