From e7d499553b04b17d7160523ac0d7c85105b234b7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lucio=20Andr=C3=A9s=20Illanes=20Albornoz?=
 <lucio@lucioillanes.de>
Date: Fri, 23 Nov 2018 19:36:49 +0100
Subject: [PATCH] assets/js/ext/*, index.html: merges assets/js/ext/ into
 assets/js/.

---
 assets/js/{ext => }/color.js   | 0
 assets/js/{ext => }/unicode.js | 0
 assets/js/{ext => }/util.js    | 0
 index.html                     | 7 +++----
 4 files changed, 3 insertions(+), 4 deletions(-)
 rename assets/js/{ext => }/color.js (100%)
 rename assets/js/{ext => }/unicode.js (100%)
 rename assets/js/{ext => }/util.js (100%)

diff --git a/assets/js/ext/color.js b/assets/js/color.js
similarity index 100%
rename from assets/js/ext/color.js
rename to assets/js/color.js
diff --git a/assets/js/ext/unicode.js b/assets/js/unicode.js
similarity index 100%
rename from assets/js/ext/unicode.js
rename to assets/js/unicode.js
diff --git a/assets/js/ext/util.js b/assets/js/util.js
similarity index 100%
rename from assets/js/ext/util.js
rename to assets/js/util.js
diff --git a/index.html b/index.html
index fc9c2c8..d5ee136 100644
--- a/index.html
+++ b/index.html
@@ -87,11 +87,10 @@
   <input type="text" id="cursor_input">
 
 </body>
-<script src="assets/js/ext/util.js"></script>
-<script src="assets/js/ext/unicode.js"></script>
-<script src="assets/js/ext/color.js"></script>
+<script src="assets/js/util.js"></script>
+<script src="assets/js/unicode.js"></script>
+<script src="assets/js/color.js"></script>
 <script src="assets/js/clipboard.js"></script>
-
 <script src="assets/js/lex.js"></script>
 <script src="assets/js/matrix.js"></script>
 <script src="assets/js/gfx.js"></script>