Eli Barzilay 750e18115c removed help/* leftovers that are not used in v4 ... svn: r8528 original commit: 5dd18dadcb4b7634c3035abf4f6f0d87fd65ae90		2008-02-04 19:59:39 +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	removed help/* leftovers that are not used in v4	2008-02-04 19:59:39 +00:00