From 5ecd5c335be8ba56531fe61720928c634079d531 Mon Sep 17 00:00:00 2001
From: Andreas Zweili <andreas@2li.ch>
Date: Fri, 10 Nov 2017 21:08:59 +0100
Subject: [PATCH] update ignore file

---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitignore b/.gitignore
index cd53e91..a29aa18 100644
--- a/.gitignore
+++ b/.gitignore
@@ -610,3 +610,4 @@ target/
 .vagrant/*
 .vagrant
 .vagrant/
+.vagrant