diff --git a/.gitignore b/.gitignore
index 5b3d5f877bd6e70de14b86209719bc395f8909f6..38dc873c2b8efb72de4a1bc4686bbfb5a8f1905e 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/