diff make/windows/makefiles/defs.make @ 2686:017253860bbb

Merge.
author Thomas Wuerthinger <thomas@wuerthinger.net>
date Mon, 16 May 2011 17:53:02 +0200
parents 0a8e0d4345b3
children 4aa5974a06dd
line wrap: on
line diff