ui::help::filter(): Fix whitespace for gauss entry, and remove usage advice.
commitabd2efca87d14aa7bbc927723b4b387cb844f61a
authorDavid Hilvert <dhilvert@auricle.dyndns.org>
Tue, 30 Jan 2007 20:37:00 +0000 (30 20:37 +0000)
committerDavid Hilvert <dhilvert@auricle.dyndns.org>
Tue, 30 Jan 2007 20:37:00 +0000 (30 20:37 +0000)
tree9b7a2aef5e98dee1a66db4779f9517f2c5b0e0c7
parentaf35be05f789f79c004587f7896ba1dba36904e2
ui::help::filter(): Fix whitespace for gauss entry, and remove usage advice.

darcs-hash:20070130203721-d1b56-b8075326e375934117d31ebba9b889fa43e90e8c.gz
ui/help.h