new tools

gfwilliams · gfwilliams · commit 3383e803f870 · 2018-10-29T16:43:29.000Z
diff --git a/EspruinoTools b/EspruinoTools
@@ -1 +1 @@
-Subproject commit 4ae28491d191e6de2bfa9e630b295ecc5eff098e
+Subproject commit 492f6142c7a847a0ec684df9770cebe1686005ce
