Merge branch 'master' of git.martlubbers.net:msc-thesis1617

[msc-thesis1617.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index 077cdca..d2268ab 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -25,3 +25,4 @@ img/fig-*
 *.snm
 *.tdo
 *.toc
+*.vrb