From 88f8efe56c07dc4d6d5ce9d0a3ebeaf39e21654b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lucio=20Andr=C3=A9s=20Illanes=20Albornoz=20=28arab=2C=20vx?=
 =?UTF-8?q?p=29?= <lucio@lucioillanes.de>
Date: Thu, 25 Oct 2018 01:24:37 +0200
Subject: [PATCH] js/util.js: moved into js/ext/. index.html: updates script
 URIs.

---
 index.html           | 2 +-
 js/{ => ext}/util.js | 0
 2 files changed, 1 insertion(+), 1 deletion(-)
 rename js/{ => ext}/util.js (100%)

diff --git a/index.html b/index.html
index eff8f0e..729a680 100644
--- a/index.html
+++ b/index.html
@@ -128,7 +128,7 @@
 </script>
 <script src="js/ext/oktween.js"></script>
 
-<script src="js/util.js"></script>
+<script src="js/ext/util.js"></script>
 <script src="js/ext/unicode.js"></script>
 <script src="js/ext/color.js"></script>
 <script src="js/undo.js"></script>
diff --git a/js/util.js b/js/ext/util.js
similarity index 100%
rename from js/util.js
rename to js/ext/util.js