update by script

lfkdsk · Nov 21, 2017 · 9afb321 · 9afb321
1 parent beca4e9
commit 9afb321
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/.gitignore b/.gitignore
@@ -25,4 +25,5 @@ hs_err_pid*
 target/
 .classpath
 .project
-sh/history.just
+sh/history.just
+.settings/
diff --git a/sh/update.sh b/sh/update.sh