Merge branch 'master' of ygdrassil:ri1617
authorMart Lubbers <mart@martlubbers.net>
Wed, 30 Nov 2016 19:39:02 +0000 (20:39 +0100)
committerMart Lubbers <mart@martlubbers.net>
Wed, 30 Nov 2016 19:39:02 +0000 (20:39 +0100)
1  2 
.gitignore

diff --cc .gitignore
@@@ -3,5 -3,4 +3,6 @@@
  *.bbl
  *.blg
  *.pdf
 +*.fmt
 +*.mlog
+ *.out