diff make/windows/makefiles/defs.make @ 7665:386b00821c66

Fix comment.
author Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
date Fri, 01 Feb 2013 19:50:04 +0100
parents 857f3ce858dd
children 8b46b0196eb0
line wrap: on
line diff