summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.editorconfig260logplain
-rw-r--r--.gitignore252logplain
-rw-r--r--CMakeLists.txt2763logplain
-rw-r--r--LICENSE2680logplain
-rw-r--r--Makefile2931logplain
-rw-r--r--Makefile.old1926logplain
-rw-r--r--README.md10127logplain
-rw-r--r--alternative-html-blocks.txt3950logplain
d---------data49logplain
-rw-r--r--dingus.html5438logplain
d---------js350logplain
-rw-r--r--leakcheck.md10869logplain
d---------man69logplain
-rw-r--r--mkcasefold.pl509logplain
-rw-r--r--runtests.pl4239logplain
-rw-r--r--spec.txt120341logplain
-rwxr-xr-xspec2js.js441logplain
-rw-r--r--spec2md.pl1138logplain
-rwxr-xr-xspecfilter.hs1439logplain
d---------src737logplain
-rw-r--r--template.html2872logplain
-rw-r--r--template.tex6422logplain
-rw-r--r--wrapper.py473logplain