diff config.bat @ 41003:3dcb962aed85

Fix previous change.
author Pavel Janík <Pavel@Janik.cz>
date Tue, 13 Nov 2001 09:39:55 +0000
parents 0c8e49f72976
children 8d949ca10e38
line wrap: on
line diff