make/jprt.properties

changeset 982
671bb63f3ed5
parent 646
47e7ff871196
child 1057
2d3096441387
equal deleted inserted replaced
981:bbd053476ec3 982:671bb63f3ed5

mercurial