[PATCH] Help & GUI Menu's intro

[Geert Janssens]

On Friday 25 June 2010, Jesse Weinstein wrote:
> On Fri, 2010-06-25 at 13:31 -0700, Jesse Weinstein wrote:
> > Here's a patch that rephrases the documentation on the Help menu and the
> 
> Oops, forgot the patch.
> 
> Jesse
> 
Committed revision 19312, thank you.

Geert