make/jprt.properties

changeset 513
ab6eae733bce
parent 321
75529c21094f
child 505
428428cf5e06
equal deleted inserted replaced
512:81d694b1ab2f 513:ab6eae733bce

mercurial