up

[rsss1516.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index 95dcd9b..21411d2 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -6,3 +6,4 @@
 *.pdf
 *.nav
 *.snm
+*.vrb