/
.editorconfig
.gitignore
CMakeLists.txt
LICENSE
Makefile
Makefile.old
README.md
alternative-html-blocks.txt
data
dingus.html
js
leakcheck.md
man
mkcasefold.pl
runtests.pl
spec.txt
spec2js.js
spec2md.pl
specfilter.hs
src
template.html
template.tex
wrapper.py
wrapper.rb