make/jprt.properties

changeset 285
4bbf9e355e50
parent 263
6d2030eacdac
child 289
5600254058a1
equal deleted inserted replaced
284:88b85470e72c 285:4bbf9e355e50

mercurial