From f7db3b30f417d57dbefeea44a8eb072d1491c2bc 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 00:24:12 +0200
Subject: [PATCH] index.html: readd js/undo.js.

---
 index.html | 1 +
 1 file changed, 1 insertion(+)

diff --git a/index.html b/index.html
index 3db265a..0720882 100644
--- a/index.html
+++ b/index.html
@@ -133,6 +133,7 @@
 <script src="js/util.js"></script>
 <script src="js/ext/unicode.js"></script>
 <script src="js/ext/color.js"></script>
+<script src="js/undo.js"></script>
 <script src="js/clipboard.js"></script>
 <script src="js/ext/upload.js"></script>
 <script src="js/ext/user.js"></script>