Make git ignore personal configuration file (fixes #381)

ben-manes · Dec 22, 2019 · 707a04a · 707a04a
1 parent 7246130
commit 707a04a
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -15,3 +15,4 @@ target
 **/hs_err_pid*.log
 **/replay_pid*.log
 **/caffeine.log
+simulator/src/main/resources/application.conf