diff configure @ 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 088ec1541d38
children deff9a0011bc
line wrap: on
line diff