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