diff man/texinfo.tex @ 55051:f0f07a220562

(dabbrev--substitute-expansion): Fix a bug which lead to loss of case of letters when performing case-insensitive expansions on certain abbreviations.
author Richard M. Stallman <rms@gnu.org>
date Wed, 21 Apr 2004 19:21:51 +0000
parents a93f1f4e2e49
children f164571769e0
line wrap: on
line diff