comparison make/jprt.properties @ 6387:d44835610b52

Merge.
author Doug Simon <doug.simon@oracle.com>
date Thu, 13 Sep 2012 17:45:04 +0200
parents f7baf26515fc
children d5ec46c7da5c eff5d59db7e1
comparison
equal deleted inserted replaced
6386:abeeb57b655d 6387:d44835610b52