From 21372339e7ca90fc3b33819a3d9ad248d833c4cf Mon Sep 17 00:00:00 2001
From: Michal Rostecki <michal.rostecki@gmail.com>
Date: Tue, 19 Dec 2017 13:23:29 +0100
Subject: [PATCH] gitignore: Update path to vagrant environment dir

TrivialFix

Change-Id: I8da660eca6fc2c43ba38fa4fb3b453aa959401e0
---
 .gitignore | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/.gitignore b/.gitignore
index a4dc2b2fd3..c71843a197 100644
--- a/.gitignore
+++ b/.gitignore
@@ -32,10 +32,10 @@ doc/build
 cover/
 
 # Files generated by Vagrant
-dev/vagrant/Vagrantfile.custom
-dev/vagrant/vagrantkey
-dev/vagrant/vagrantkey.pub
-dev/vagrant/storage/
+contrib/dev/vagrant/Vagrantfile.custom
+contrib/dev/vagrant/vagrantkey
+contrib/dev/vagrant/vagrantkey.pub
+contrib/dev/vagrant/storage/
 .vagrant/
 
 # Files generated by JetBrains