gitignore: add .vagrant directory to list of ignored files

nieklinnenbank · nieklinnenbank · commit e1602f57f73b · 2019-10-19T21:19:10.000+02:00
diff --git a/.gitignore b/.gitignore
@@ -15,4 +15,5 @@ config.log
 *.orig
 *.tar.gz
 *.tar
+.vagrant
 ChangeLog-*
