Robby Findler 4a193f0031 searching in help desk now says 'no results' if there are no results, and the help desk menu item in drscheme opens the front page of the manuals ... svn: r8227 original commit: 379f2a162beec900f6132dd94e40f216e36965cf		2008-01-05 22:39:32 +00:00
..
help.ss	searching in help desk now says 'no results' if there are no results, and the help desk menu item in drscheme opens the front page of the manuals	2008-01-05 22:39:32 +00:00
search.ss	searching in help desk now says 'no results' if there are no results, and the help desk menu item in drscheme opens the front page of the manuals	2008-01-05 22:39:32 +00:00