Commit db162ebcc335306fd440cbdb3208598f50339a74

Bruno Haible 2003-05-08T14:44:48

More tweaks for the Woe32 port.