diff man/ediff.texi @ 36338:45507c61ceef

(Customizing Faces): Remove doubled `the'.
author Gerd Moellmann <gerd@gnu.org>
date Fri, 23 Feb 2001 12:50:41 +0000
parents 8132338647ad
children 4993e5072bcb
line wrap: on
line diff