diff doc/misc/ediff.texi @ 86130:e55a87ac8167

(Man-heading-regexp): Add 0-9. (Man-first-heading-regexp): Remove leading space [ \t]* before NAME.
author Juri Linkov <juri@jurta.org>
date Fri, 16 Nov 2007 01:18:50 +0000
parents 3d431f1997d8
children 5d58981e6690
line wrap: on
line diff