From 906dcf1461315cdc7f12a5f2d8f3b8ceb5f51b51 Mon Sep 17 00:00:00 2001
From: Martin Boonk <martin@boonk.info>
Date: Sun, 20 Nov 2022 21:37:12 +0100
Subject: [PATCH] apploader - Load puck.js locally

---
 .gitmodules | 3 +++
 index.html  | 2 +-
 webtools    | 1 +
 3 files changed, 5 insertions(+), 1 deletion(-)
 create mode 160000 webtools

diff --git a/.gitmodules b/.gitmodules
index fd6663d2a..c2c1104c2 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -1,3 +1,6 @@
 [submodule "EspruinoAppLoaderCore"]
 	path = core
 	url = https://github.com/espruino/EspruinoAppLoaderCore.git
+[submodule "webtools"]
+	path = webtools
+	url = https://github.com/espruino/EspruinoWebTools.git
diff --git a/index.html b/index.html
index f1983bd44..d63c51ef4 100644
--- a/index.html
+++ b/index.html
@@ -185,7 +185,7 @@
       </div>
     </footer>
 
-    <script src="https://www.puck-js.com/puck.js"></script>
+    <script src="webtools/puck.js"></script>
     <script src="core/lib/marked.min.js"></script>
     <script src="core/lib/espruinotools.js"></script>
     <script src="core/lib/heatshrink.js"></script>
diff --git a/webtools b/webtools
new file mode 160000
index 000000000..2ab71a33d
--- /dev/null
+++ b/webtools
@@ -0,0 +1 @@
+Subproject commit 2ab71a33d69bfda40465174ffe57adb03c21fc42