diff man/help.texi @ 42107:7a239c5cc1ed

Fix typo.
author Dave Love <fx@gnu.org>
date Mon, 17 Dec 2001 16:00:30 +0000
parents eaeec47bf5fe
children dfc7817ae834
line wrap: on
line diff