.direnv
result
*.pdf
tests/runtests.log
tests/out