diff etc/HELLO @ 101972:9eff457d4b49

Simplify previous change; again.
author Glenn Morris <rgm@gnu.org>
date Thu, 12 Feb 2009 07:53:11 +0000
parents c90853557b90
children d76bdfb6c579
line wrap: on
line diff