make/jprt.properties

changeset 252
563a8f8b5be3
parent 189
3821536d79ab
child 293
949fb60ca830
equal deleted inserted replaced
251:e0f0b358cd2c 252:563a8f8b5be3

mercurial