Merge branch 'master' of ygdrassil:ri1617

[ri1617.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index 00d77b4..bf5c704 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -5,3 +5,4 @@
 *.pdf
 *.fmt
 *.mlog
+*.out