From 3b7c5b1214f19a70bdaa89b1c518a11ff1a55e03 Mon Sep 17 00:00:00 2001
From: ulrich <undisclosed>
Date: Tue, 14 Mar 2017 15:45:17 +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