Michael Peter Christen 8aba045ba1 if a new pop-up page is set in config portal, then this page applies ... also to the default page configuration for the httpd if no path is given.		2012-02-26 20:53:32 +01:00
..
index	added test code	2012-02-25 12:42:13 +01:00
query	changed storage of search words: keep order	2012-02-01 18:13:31 +01:00
ranking	changed ranking	2012-02-25 12:58:12 +01:00
snippet	performance hack	2012-01-25 12:48:48 +01:00
IndexAbstracts.java	refactoring:	2011-09-25 16:59:06 +00:00
Switchboard.java	complete redesign of crawl queue monitoring: do not look at a	2012-02-02 21:33:42 +01:00
SwitchboardConstants.java	if a new pop-up page is set in config portal, then this page applies	2012-02-26 20:53:32 +01:00