diff --git a/.gitignore b/.gitignore
index a4dc2b2fd39d99b1dc4ac04f448b7ac3195b7448..c71843a197dee7b56ccadd25273907a139fa5efc 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