diff --git a/.gitignore b/.gitignore index 7591e58bb1daf7bf9622889912406baac1295823..5b3d5f877bd6e70de14b86209719bc395f8909f6 100644 --- a/.gitignore +++ b/.gitignore @@ -28,3 +28,4 @@ doc/build vagrant/vagrantkey vagrant/vagrantkey.pub vagrant/storage/ +.vagrant/