ignore the hidden vagrant directory

2017-10-06 14:21:52 +02:00 · 2017-10-06 14:21:52 +02:00 · c6a262fc42
parent ef79d901d1
commit c6a262fc42
1 changed files with 1 additions and 0 deletions
--- a/.gitignore
+++ b/.gitignore
@ -607,3 +607,4 @@ target/
 *.toc
 *.gz
 .idea
+.vagrant