diff make/windows/makefiles/defs.make @ 4312:8dd27e218e19

Merge
author Lukas Stadler <lukas.stadler@jku.at>
date Thu, 19 Jan 2012 19:06:25 +0100
parents f08d439fab8c
children 7292cff45988 2d503de963b3 d652a62d6e03
line wrap: on
line diff