Improved .gitignore

thomasWeise · thomasWeise · commit 2b48d0b950e7 · 2016-06-22T09:09:45.000+08:00
.gitignore now also ignores replay_pid* files.
diff --git a/.gitignore b/.gitignore
@@ -10,6 +10,7 @@
 
 # virtual machine crash logs, see http://www.java.com/en/download/help/error_hotspot.xml
 hs_err_pid*
+replay_pid*
 /target/
 
 # other files, potentially created by build tools
