cat/doc/.gitignore

*.aux
*.fdb_latexmk
*.fls
*.log
*.out
*.pdf
!assets/**
*.bbl
*.blg
*.toc
*.idx
*.ilg
*.ind
*.nav
*.snm
Add gitignore 2017-11-26 14:00:26 +00:00			`*.aux`
			`*.fdb_latexmk`
			`*.fls`
			`*.log`
			`*.out`
Commit finished proposal Was done writing this a week ago 2017-12-02 00:34:33 +00:00			`*.pdf`
Fixup some missing files 2018-05-30 23:07:05 +00:00			`!assets/**`
Commit finished proposal Was done writing this a week ago 2017-12-02 00:34:33 +00:00			`*.bbl`
			`*.blg`
Section about univalence and equivalences 2018-04-23 15:06:09 +00:00			`*.toc`
Expand gitignore 2018-05-09 16:25:01 +00:00			`*.idx`
			`*.ilg`
			`*.ind`
Ignore index-files 2018-05-22 11:48:30 +00:00			`*.nav`
Fixup some missing files 2018-05-30 23:07:05 +00:00			`*.snm`