diff options
Diffstat (limited to 'src/runtime')
| -rw-r--r-- | src/runtime/javascript/minibar/feedback.cgi | 2 | ||||
| -rw-r--r-- | src/runtime/javascript/minibar/minibar.html | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/src/runtime/javascript/minibar/feedback.cgi b/src/runtime/javascript/minibar/feedback.cgi index 52aef9660..0d382f22d 100644 --- a/src/runtime/javascript/minibar/feedback.cgi +++ b/src/runtime/javascript/minibar/feedback.cgi @@ -1,6 +1,6 @@ #!/bin/bash -bin=../bin +bin=bin AUTOHEADER=no . $bin/cgistart.sh diff --git a/src/runtime/javascript/minibar/minibar.html b/src/runtime/javascript/minibar/minibar.html index 3d076f7ae..f669482ee 100644 --- a/src/runtime/javascript/minibar/minibar.html +++ b/src/runtime/javascript/minibar/minibar.html @@ -54,7 +54,7 @@ var minibar_options= { show_trees: true, show_grouped_translations: false, default_source_language: "Eng", -//feedback_url: "feedback.html", + feedback_url: "feedback.html", try_google: true } var minibar=new Minibar(server,minibar_options,"minibar"); |