Matthew Flatt e87efe3ce8 fix help start path ... svn: r8302 original commit: 4e2951c2bcccb1961de7c71304033723e77d8743		2008-01-11 20:09:19 +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	fix help start path	2008-01-11 20:09:19 +00:00