From 491fdcb6b1c896e691acf3c32a99c034506f94c8 Mon Sep 17 00:00:00 2001 From: Marcio Mazza Date: Thu, 2 Jul 2015 11:52:12 -0300 Subject: [PATCH] Gitignore dev tools configuration files --- .gitignore | 7 +++++++ 1 file changed, 7 insertions(+) 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 +