Merge "gitignore: Update path to vagrant environment dir"

This commit is contained in:
Zuul 2017-12-29 08:16:03 +00:00 committed by Gerrit Code Review
commit 18e8a64e9b

8
.gitignore vendored
View File

@ -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