diff config.bat @ 15061:85ee0c14c7dc

Fix a file name.
author Richard M. Stallman <rms@gnu.org>
date Mon, 22 Apr 1996 00:30:39 +0000
parents 6f4dd53a62d4
children 80562f089595
line wrap: on
line diff