From 1302616ec047ced000c8c415357dd188ca0f55ba 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:31:35 +0200
Subject: [PATCH] js/tool.js: moved into js/ui/. index.html: updates script
 URIs.

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

diff --git a/index.html b/index.html
index 50090d5..dae79d7 100644
--- a/index.html
+++ b/index.html
@@ -139,7 +139,7 @@
 <script src="js/lex.js"></script>
 <script src="js/matrix.js"></script>
 <script src="js/gfx.js"></script>
-<script src="js/tool.js"></script>
+<script src="js/ui/tool.js"></script>
 <script src="js/draw.js"></script>
 
 <script src="js/ui/brush.js"></script>
diff --git a/js/tool.js b/js/ui/tool.js
similarity index 100%
rename from js/tool.js
rename to js/ui/tool.js