Browse files

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 <>
  • Loading branch information...
1 parent 0be8f22 commit 13744e0412652f497a5a79283a24e54aa630a00d @dscho dscho committed Jan 28, 2014
Showing with 3 additions and 0 deletions.
  1. +3 −0 .gitignore
@@ -11,3 +11,6 @@ libexec/git-core
+# see

0 comments on commit 13744e0

Please sign in to comment.