Commit f797ad62 authored by Robbert Krebbers's avatar Robbert Krebbers

Add .gitignore.

parent 0a1d6023
<<<<<<< HEAD
=======
*.pdf
*.aux
*.log
*.out
*.synctex.gz
*.txss
*.thm
*.toc
*.bbl
*.blg
*.bcf
*.run.xml
_*_.tex
**/auto/*.el
\#*\#
.\#*
*~
*.bak
*.zip
*.nav
*.snm
*.vrb
*.fdb_latexmk
*.fls
*.vo
*.glob
*.v.d
*.vio
hands-on/Makefile.coq*
>>>>>>> c37af97... Add .gitignore.
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment