diff src/makefile.w32-in @ 38707:de39c1d96123

Update from Milan Zamazal.
author Pavel Janík <Pavel@Janik.cz>
date Mon, 06 Aug 2001 21:23:24 +0000
parents 8045cccd8f3c
children 9c145edcf87f
line wrap: on
line diff