diff leim/makefile.w32-in @ 63833:addf44674c32

Version 3.12
author Carsten Dominik <dominik@science.uva.nl>
date Wed, 29 Jun 2005 07:13:11 +0000
parents c45f07f05709
children 23a17af379b1 01137c1fdbe9
line wrap: on
line diff