diff config.bat @ 53845:b30b4970cd7e

Revert previous change.
author Andreas Schwab <schwab@suse.de>
date Sat, 07 Feb 2004 23:39:18 +0000
parents 695cf19ef79e
children 1ee1cc05559b 375f2633d815
line wrap: on
line diff