From 7e6027ebf98ab3173ff743b21c291abd868be330 Mon Sep 17 00:00:00 2001
From: Garvin Hicking <gh@faktor-e.de>
Date: Mon, 9 Sep 2019 11:19:31 +0200
Subject: [PATCH] Adds 'vagrant' to gitignore for local development.

Backported from master branch.

Signed-off-by: Thomas Hochstein <thh@inter.net>
---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitignore b/.gitignore
index b3ce8ba3..2f9f8ce7 100644
--- a/.gitignore
+++ b/.gitignore
@@ -22,3 +22,4 @@ DEADJOE
 .editorconfig
 *.git
 tests/phpunit.xml
+vagrant/*