/
.dir-locals.el
.file-metadata
.gitattributes
.gitignore
COPYING
README-hacking.md
README.md
paper.tex
project
reproduce
tex