Fix usermenu

Signed-off-by: Thomas Dietrich <Thomas.Dietrich@tu-ilmenau.de>
pull/532/merge
Thomas Dietrich 2017-09-24 18:41:37 +02:00 committed by Kai Kreuzer
parent 707f673c20
commit 90d2886f80
1 changed files with 2 additions and 0 deletions

View File

@ -44,6 +44,8 @@
<li><a href="{{docu}}/configuration/rules-dsl.html">Rules</a></li>
<li><a href="{{docu}}/configuration/jsr223.html">JSR223 Scripting</a>
<ul>
<li><a href="{{docu}}/configuration/jsr223.html">Overview</a>
<hr />
<li><a href="{{docu}}/configuration/jsr223-js.html">Javascript</a></li>
<li><a href="{{docu}}/configuration/jsr223-jython.html">Jython</a></li>
</ul>