make/jprt.properties

changeset 298
3ac205ad1f05
parent 265
4030cc469205
child 526
f856c0942c06
equal deleted inserted replaced
297:3d539f4123b8 298:3ac205ad1f05

mercurial