Merge pull request #1 from Sticktron/master

update from main
Sticktron · Jan 4, 2018 · 3198833 · 3198833
2 parents f929b6f + 684d020
commit 3198833
Show file tree

Hide file tree

Showing 3 changed files with 1 addition and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -1,2 +1,3 @@
 .DS_Store
 xcuserdata
+bootstrap/
diff --git a/g0blin/bootstrap.tar b/g0blin/bootstrap.tar
diff --git a/g0blin/kpp.m b/g0blin/kpp.m