diff src/main/resources/openmind.properties.template @ 158:92c4c9f7312a public_by_author

Merge from HEAD 2522985f44af601a0fb3af90eb9660f2280e1032
author Robert Casties <casties@mpiwg-berlin.mpg.de>
date Fri, 20 Oct 2017 16:59:48 +0200
parents 2522985f44af
children
line wrap: on
line diff
--- a/src/main/resources/openmind.properties.template	Fri Aug 18 14:58:11 2017 -0400
+++ b/src/main/resources/openmind.properties.template	Fri Oct 20 16:59:48 2017 +0200
@@ -1,4 +1,5 @@
 scheduling-path=/tmp/
 #scheduling-path=/home/jurzua/ismi/automatic-backup
 scheduling-enable=false
-debug-modus=false
\ No newline at end of file
+debug-modus=false
+query-browser-url=https://ismi.mpiwg-berlin.mpg.de/static-ismi/ng2-query-ismi/