diff --git a/.gitignore b/.gitignore index 8e3e87e550e..8a38aeea220 100644 --- a/.gitignore +++ b/.gitignore @@ -43,3 +43,4 @@ deps/cloud.userlibraries *.iml git-remote-https.exe.stackdump *.swp +tools/devcloud/devcloudbox/.vagrant