.DS_Store
.idea
*.log
tmp/

.direnv/
dist-newstyle/

*.bbl
*.pdf
*.tex

*.agdai