diff --git a/.gitignore b/.gitignore index ec764ad..cd53e91 100644 --- a/.gitignore +++ b/.gitignore @@ -607,3 +607,6 @@ target/ *.toc *.gz .idea +.vagrant/* +.vagrant +.vagrant/