diff config.bat @ 33942:ffadfe27577e

Update from author.
author Gerd Moellmann <gerd@gnu.org>
date Tue, 28 Nov 2000 10:08:09 +0000
parents e1e1d5816d44
children 6722a8132e56
line wrap: on
line diff