diff etc/HELLO @ 85270:1372ee106c78

(woman-ignore): Fix doc typo.
author Glenn Morris <rgm@gnu.org>
date Sat, 13 Oct 2007 19:34:03 +0000
parents 713172dcf518
children 1dd7437446ea f55f9811f5d7
line wrap: on
line diff