diff make/jprt.properties @ 2211:0cd39a385a72

Merge.
author Thomas Wuerthinger <thomas.wuerthinger@gmail.com>
date Mon, 21 Feb 2011 19:17:33 +0100
parents 5d801e6b9a80
children f7702f8c0e25
line wrap: on
line diff