diff man/ChangeLog @ 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 07881ab0919b
children ef4c56e5906b
line wrap: on
line diff