diff etc/HELLO @ 50725:57796ed1786d

Undo RMS' change in configure.in, as it is useless, per Dave Love.
author Francesco Potortì <pot@gnu.org>
date Mon, 28 Apr 2003 16:23:10 +0000
parents 959a145fa4cd
children 8481330e8469 2f877ed80fa6
line wrap: on
line diff