62 lines
910 B
Text
62 lines
910 B
Text
# agda
|
|
*.agdai
|
|
*.log
|
|
Everything.agda
|
|
agda/public/
|
|
.direnv
|
|
.DS_Store
|
|
|
|
# latex
|
|
# put this to .git/info/exclude in git repos managing latex
|
|
#
|
|
# git ls-files --others --exclude-from=.git/info/exclude
|
|
# Lines that start with '#' are comments.
|
|
# For a project mostly in C, the following would be a good set of
|
|
# exclude patterns (uncomment them if you want to use them):
|
|
# *.[oa]
|
|
.*.swp
|
|
.#*
|
|
*~
|
|
_minted-main/
|
|
main.pdf
|
|
# AUTOGENERATED
|
|
# All wildcards below this marker are used to remove generated files in
|
|
# 'make clean'
|
|
*.aux
|
|
*.fdb_latexmk
|
|
*.log
|
|
*.out
|
|
thesis/*.pdf
|
|
slides/*.pdf
|
|
*.synctex.gz
|
|
*.toc
|
|
*.bbl
|
|
*.blg
|
|
*.idx
|
|
*.ilg
|
|
*.fls
|
|
*.ind
|
|
*.zip
|
|
*.dvi
|
|
*.eps
|
|
*.bcf
|
|
*.run.xml
|
|
*.nav
|
|
*.snm
|
|
*.vrb
|
|
*.vtc
|
|
*.spl
|
|
*.nlo
|
|
*.nls
|
|
*.auxlock
|
|
.auctex-auto/
|
|
_region_.tex
|
|
*.xdv
|
|
thesis/_minted-main/
|
|
slides/_minted-main/
|
|
thesis/main.bbl-SAVE-ERROR
|
|
thesis/main.bcf-SAVE-ERROR
|
|
thesis/main.tdo
|
|
main.synctex(busy)
|
|
thesis/main.pyg
|
|
thesis/main.loe
|