comparison make/jprt.properties @ 19052:db390d92bb16

Merge.
author Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
date Sat, 31 Jan 2015 19:03:33 +0100
parents cb1b723cbca8
children 43aa571c1131
comparison
equal deleted inserted replaced
19051:687479c0cd3e 19052:db390d92bb16