diff man/ediff.texi @ 41952:cf39e35201ff

(jdb): Doc fix.
author Pavel Janík <Pavel@Janik.cz>
date Tue, 11 Dec 2001 07:33:06 +0000
parents 62e02f5ae533
children 3ce98f3e0608
line wrap: on
line diff