make/jprt.properties

changeset 774
69e855d955f5
parent 763
68e0443dfd9c
child 1067
ec1a6dc46005
equal deleted inserted replaced
773:d9bc824aa078 774:69e855d955f5

mercurial