diff config.bat @ 105321:c54e9253e596

Remove unused declarations.
author Glenn Morris <rgm@gnu.org>
date Thu, 01 Oct 2009 02:13:00 +0000
parents dc1b2f500b63
children 1d1d5d9bd884
line wrap: on
line diff