diff doc/misc/ediff.texi @ 85894:cbcf6f4cd4c2

Revert previous change.
author Glenn Morris <rgm@gnu.org>
date Fri, 02 Nov 2007 07:57:55 +0000
parents 3d431f1997d8
children 5d58981e6690
line wrap: on
line diff