make/jprt.properties

changeset 435
587560c222a2
parent 432
9261f342aa73
equal deleted inserted replaced
434:e126d8eca69b 435:587560c222a2

mercurial