From d7a99391719e06c2a84cdab15134b8adbd24da95 Mon Sep 17 00:00:00 2001
From: Michal Rostecki <mrostecki@mirantis.com>
Date: Mon, 12 Oct 2015 07:46:15 +0200
Subject: [PATCH] Update Vagrant directories in .gitignore

Vagrantfile and all related stuff moved to dev/ directory.
Then .gitignore should be updated with this change.

Change-Id: I15decd9d7ac21effe1485aead493da33002383ec
Closes-Bug: #1505079
---
 .gitignore | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/.gitignore b/.gitignore
index 5b3d5f877..38dc873c2 100644
--- a/.gitignore
+++ b/.gitignore
@@ -25,7 +25,7 @@ ChangeLog
 doc/build
 
 # Files generated by Vagrant
-vagrant/vagrantkey
-vagrant/vagrantkey.pub
-vagrant/storage/
+dev/vagrant/vagrantkey
+dev/vagrant/vagrantkey.pub
+dev/vagrant/storage/
 .vagrant/
-- 
GitLab