Merge "Update Vagrant directories in .gitignore"

This commit is contained in:
Jenkins 2015-10-12 10:08:47 +00:00 committed by Gerrit Code Review
commit 063008834b

6
.gitignore vendored
View File

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