diff --git a/.gitignore b/.gitignore index e1be781d5047846a7cc478f36652369f9f840377..eecdb784c3946b093bd5495dd24a8a03ffc35f53 100644 --- a/.gitignore +++ b/.gitignore @@ -55,3 +55,5 @@ php_errors.log /tests/PHPUnit/proxy/plugins /tests/PHPUnit/proxy/tests /config/*.config.ini.php +/Vagrantfile +/misc/vagrant