diff --git a/.gitignore b/.gitignore index d5683bbb5..e5d6303c3 100644 --- a/.gitignore +++ b/.gitignore @@ -64,3 +64,10 @@ target/ *~ +# Dev tools configuration files +.idea/ +.project +.pydevproject +.settings +.vagrant +