Add history file support.

Fixes #134
2017-08-16 18:13:26 +02:00
parent 1eea04ad2f
commit a191d113a4
2 changed files with 38 additions and 0 deletions
--- a/.gitignore
+++ b/.gitignore
@@ -9,3 +9,4 @@ target/
 *.ipr
 *.iws
 .DS_Store
+spring-shell.log