make/jprt.properties

changeset 346
e33efb09ed75
parent 265
4030cc469205
child 526
f856c0942c06
equal deleted inserted replaced
345:23505e6ea22d 346:e33efb09ed75

mercurial