minimal update to 1.13

2018-10-12 12:00:54 -07:00
parent 9d8ed3a85b
commit bc1b5a3559
6 changed files with 40 additions and 28 deletions
--- a/.gitignore
+++ b/.gitignore
@ -2,3 +2,5 @@
 .project
 .settings/
 target/
+.idea/
+*.iml