From 8753767b915381a8c9e77858b0b5c195cd2267ea Mon Sep 17 00:00:00 2001
From: Gordon Williams <gw@pur3.co.uk>
Date: Thu, 28 May 2020 08:28:50 +0100
Subject: [PATCH] Move espruinotools.js to lib as it seems a more sensible
 location

---
 .eslintignore                | 2 +-
 index.html                   | 2 +-
 {js => lib}/espruinotools.js | 0
 3 files changed, 2 insertions(+), 2 deletions(-)
 rename {js => lib}/espruinotools.js (100%)

diff --git a/.eslintignore b/.eslintignore
index 7ad7ad68a..40173021d 100644
--- a/.eslintignore
+++ b/.eslintignore
@@ -1,4 +1,4 @@
-js/espruinotools.js
+lib/espruinotools.js
 lib/imageconverter.js
 lib/qrcode.min.js
 lib/heatshrink.js
diff --git a/index.html b/index.html
index f3ca261b5..af68a6d45 100644
--- a/index.html
+++ b/index.html
@@ -179,7 +179,7 @@
     <script src="js/comms.js"></script>
     <script src="js/appinfo.js"></script>
     <script src="js/index.js"></script>
-    <script src="js/espruinotools.js"></script>
+    <script src="lib/espruinotools.js"></script>
     <script src="lib/heatshrink.js"></script>
     <script src="https://cdn.jsdelivr.net/npm/marked/marked.min.js"></script>
     <script src="js/pwa.js" defer></script>
diff --git a/js/espruinotools.js b/lib/espruinotools.js
similarity index 100%
rename from js/espruinotools.js
rename to lib/espruinotools.js