diff man/ediff.texi @ 49879:c0ebd202a62f

(Info-extract-menu-node-name): Stop if colon is followed by open paren.
author Andreas Schwab <schwab@suse.de>
date Thu, 20 Feb 2003 12:40:36 +0000
parents 0f80cb4f9d29
children c088bf2c1f13 d7ddb3e565de
line wrap: on
line diff