You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Michael Peter Christen 2ea585d616 fix for host navigator		13 years ago
..
index	fix for search process (it was aborted too early during remote search)	13 years ago
query	fix for host navigator	13 years ago
ranking	performance hack	13 years ago
snippet	performance hack	13 years ago
IndexAbstracts.java	refactoring:	14 years ago
Switchboard.java	refactoring of tray icon class,	13 years ago
SwitchboardConstants.java	added option to have exception search result windows	13 years ago