diff config.bat @ 38864:c656fc177008

Many corrections in Texinfo usage and English usage.
author Richard M. Stallman <rms@gnu.org>
date Mon, 20 Aug 2001 01:14:55 +0000
parents 6fd0d497fc9c
children 0c8e49f72976
line wrap: on
line diff