From 565f962da9487a4ae9eb73422a3738cf841b1f0e Mon Sep 17 00:00:00 2001
From: Andreas Zweili <andreas@2li.ch>
Date: Thu, 2 Nov 2017 20:56:53 +0100
Subject: [PATCH] update the gitignore list

---
 .gitignore | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.gitignore b/.gitignore
index ec764ad..cd53e91 100644
--- a/.gitignore
+++ b/.gitignore
@@ -607,3 +607,6 @@ target/
 *.toc
 *.gz
 .idea
+.vagrant/*
+.vagrant
+.vagrant/