diff --git a/.gitignore b/.gitignore index fc8a7a7c9..b4f38278e 100644 --- a/.gitignore +++ b/.gitignore @@ -8,6 +8,7 @@ *.war *.ear /source/ +/tools/ # virtual machine crash logs, see http://www.java.com/en/download/help/error_hotspot.xml hs_err_pid*