/

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