make/jprt.properties

changeset 332
4fffe75e4edd
parent 321
75529c21094f
child 505
428428cf5e06
equal deleted inserted replaced
331:79f709a099f4 332:4fffe75e4edd

mercurial