make/jprt.properties

changeset 866
22ea7d483794
parent 646
47e7ff871196
child 1057
2d3096441387
equal deleted inserted replaced
864:7a98db8cbfce 866:22ea7d483794

mercurial