diff config.bat @ 100479:b8e0b721af21

Fix old entry.
author Glenn Morris <rgm@gnu.org>
date Thu, 18 Dec 2008 06:58:57 +0000
parents 4d2b872f8fef
children 830b13990b6b
line wrap: on
line diff