diff config.bat @ 29184:446621f88d68

Fix junk from last checkin.
author Dave Love <fx@gnu.org>
date Thu, 25 May 2000 11:47:09 +0000
parents a723efe4f841
children 7e7a2522a302
line wrap: on
line diff