Merge branch 'master' of ygdrassil:ri1617

[ri1617.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index a7b5568..bf5c704 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -3,4 +3,6 @@
 *.bbl
 *.blg
 *.pdf
+*.fmt
+*.mlog
 *.out