make/jprt.properties

changeset 402
27d87f0031bf
parent 321
75529c21094f
child 505
428428cf5e06
equal deleted inserted replaced
398:18462a19f7bd 402:27d87f0031bf

mercurial