forgot to add distclean + gitignore
This commit is contained in:
parent
eebd0e80b3
commit
456a205122
2 changed files with 7 additions and 1 deletions
6
.gitignore
vendored
Normal file
6
.gitignore
vendored
Normal file
|
@ -0,0 +1,6 @@
|
|||
*.aux
|
||||
*.fdb_latexmk
|
||||
*.fls
|
||||
*.log
|
||||
*.out
|
||||
*.xdv
|
Loading…
Add table
Add a link
Reference in a new issue