make/jprt.properties

changeset 405
2394155f9f9e
parent 321
75529c21094f
child 505
428428cf5e06
equal deleted inserted replaced
404:0e08ba7648fb 405:2394155f9f9e

mercurial