diff etc/HELLO @ 84843:56ba5708bf25

Improve previous change.
author Glenn Morris <rgm@gnu.org>
date Tue, 25 Sep 2007 02:35:35 +0000
parents 713172dcf518
children 1dd7437446ea f55f9811f5d7
line wrap: on
line diff