diff make/jprt.properties @ 6589:341f34427e09

Merge.
author Doug Simon <doug.simon@oracle.com>
date Mon, 29 Oct 2012 17:22:25 +0100
parents f7baf26515fc
children d5ec46c7da5c eff5d59db7e1
line wrap: on
line diff