From fd0b4cf7236de6f05f3df2ed5bdd9508fd5fbb01 Mon Sep 17 00:00:00 2001 From: ulrich <undisclosed> Date: Thu, 16 Mar 2017 18:35:44 +0000 Subject: [PATCH] Versuche mit dem Java-Compiler (in Arbeit) --- 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