-
Eric Giovannini authoredEric Giovannini authored
.gitignore 122 B
*.aux
*.log
/gtlc.pdf
*.fls
*.fdb_latexmk
*.synctex.gz
*.out
*.toc
*.nav
*.snm
*.bbl
*.blg
\#*
.\#*
*.agdai
*.agda~
*.aux
*.log
/gtlc.pdf
*.fls
*.fdb_latexmk
*.synctex.gz
*.out
*.toc
*.nav
*.snm
*.bbl
*.blg
\#*
.\#*
*.agdai
*.agda~