diff man/ediff.texi @ 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 0f80cb4f9d29
children c088bf2c1f13 d7ddb3e565de
line wrap: on
line diff