diff config.bat @ 36263:11db0318031d

Remove redundant index entries.
author Eli Zaretskii <eliz@gnu.org>
date Wed, 21 Feb 2001 15:29:46 +0000
parents 6722a8132e56
children 6fd0d497fc9c
line wrap: on
line diff