make/jprt.properties

changeset 355
961dc3acdb06
parent 265
4030cc469205
child 526
f856c0942c06
equal deleted inserted replaced
354:cba827f72977 355:961dc3acdb06

mercurial