make/jprt.properties

changeset 323
052dda3b5ce3
parent 321
75529c21094f
child 505
428428cf5e06
equal deleted inserted replaced
322:0289a94d653b 323:052dda3b5ce3

mercurial