make/jprt.properties

changeset 1195
2ac31f40741d
parent 1156
4822dfe0922b
child 1223
f3743b82945e
equal deleted inserted replaced
1194:2360c8213989 1195:2ac31f40741d

mercurial