From 13744e0412652f497a5a79283a24e54aa630a00d Mon Sep 17 00:00:00 2001
From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Tue, 28 Jan 2014 12:23:03 -0600
Subject: [PATCH] Add the .vagrant/ directory to the .gitignore file

It would not do to delete the .vagrant/ directory by mistake: it
contains all the relevant information used by Vagrant to manage the
virtual machine (e.g. to enable "vagrant ssh" to find the machine).

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
---
 .gitignore | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.gitignore b/.gitignore
index 160c1e0e..25cd363f 100644
--- a/.gitignore
+++ b/.gitignore
@@ -11,3 +11,6 @@ libexec/git-core
 /lib/Git/SVN/
 /lib/perl5/5.8.8/CPAN/Config.pm*
 /share/gitweb/
+
+# see https://github.com/msysgit/msysgit/wiki/Vagrant
+/.vagrant/
-- 
2.11.4.GIT