summaryrefslogtreecommitdiff
path: root/inc/help.inc.php
diff options
context:
space:
mode:
authorPatrick Simianer <p@simianer.de>2016-02-09 19:22:02 +0100
committerPatrick Simianer <p@simianer.de>2016-02-09 19:22:02 +0100
commitaa2832b55b1b9825ad626aa0483a97c5ba9c991c (patch)
tree23fc14c36329ecd0fd1e0239b54beade82e6cc8c /inc/help.inc.php
parentfee5d5a36f373f6d1f02bbddfbfa960f3af2f9dd (diff)
corrected rule extraction, fixed some bugs, nicer interface
Diffstat (limited to 'inc/help.inc.php')
-rw-r--r--inc/help.inc.php2
1 files changed, 1 insertions, 1 deletions
diff --git a/inc/help.inc.php b/inc/help.inc.php
index ebfdef1..2bd511e 100644
--- a/inc/help.inc.php
+++ b/inc/help.inc.php
@@ -36,6 +36,6 @@ Alternatively, in the textual interface, you may just press return when you fini
Support: <a href="mailto://simianer@cl.uni-heidelberg.de">Mail</a>
</p>
<p class="tiny">Session: #<?php echo $_GET["key"]; ?> |
- <a href="http://coltrane.cl.uni-heidelberg.de:<?php echo $db->port; ?>/debug" target="_blank">Debug</a>
+ <a href="http://postedit.cl.uni-heidelberg.de:<?php echo $db->port; ?>/debug" target="_blank">Debug</a>
</p>