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