make/jprt.properties

changeset 1178
ca535e766968
parent 1174
6cb876613230
child 1179
5f4937d4217e
equal deleted inserted replaced
1177:6863fb4ecd17 1178:ca535e766968

mercurial