From 7ad1b750afbefb9904ce31a192ed6192b72691ee Mon Sep 17 00:00:00 2001 From: ulrich <undisclosed> Date: Tue, 14 Mar 2017 15:37:10 +0000 Subject: [PATCH] Vorbereitung fuer Tipps zu Klassen- und Methodennamen im Code-Editor --- web/ui/index.html | 1 + 1 files changed, 1 insertions(+), 0 deletions(-) diff --git a/web/ui/index.html b/web/ui/index.html index 87c6a46..e30a181 100644 --- a/web/ui/index.html +++ b/web/ui/index.html @@ -218,6 +218,7 @@ <script src="/jslib/codemirror/addon/display/fullscreen.js"></script> <script src="/jslib/tinymce/tinymce.min.js"></script> + <script src="/jslib/tether/tether.min.js"></script> <script src="/jslib/bootstrap/js/bootstrap.min.js"></script> <script src="/jslib/mustache/mustache.min.js"></script> <script src="ui.js"></script> -- Gitblit v1.9.3