diff man/help.texi @ 51270:827c306f0515

Add missing code from previous patch by David Ponce.
author Juanma Barranquero <lekktu@gmail.com>
date Tue, 27 May 2003 22:34:58 +0000
parents dfc7817ae834
children 0a8de3bc39b5 d7ddb3e565de
line wrap: on
line diff