make/jprt.properties

changeset 1182
1053aeab6b12
parent 1179
5f4937d4217e
child 1185
2ffefbac794b
equal deleted inserted replaced
1181:ae2a03818931 1182:1053aeab6b12

mercurial