make/jprt.properties

changeset 347
404bd0b9385f
parent 327
970c0898ded2
child 356
fd8615098a54
equal deleted inserted replaced
342:3408a19567a6 347:404bd0b9385f

mercurial