diff config.bat @ 59538:87ebb131f763

corrected setfilename
author Carsten Dominik <dominik@science.uva.nl>
date Fri, 14 Jan 2005 10:21:54 +0000
parents dda469376708
children c53a9463c31a f2ebccfa87d4
line wrap: on
line diff