Marker setzen bereinigt

ulrich

2017-03-14 64d8b9925e9a832631dc8983f03927a8928e0e42

 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>