make/jprt.properties

changeset 6652
85d6efcb1fa3
parent 6618
cb1b723cbca8
child 6876
710a3c8b516e
child 7039
43aa571c1131
equal deleted inserted replaced
6651:4bc28e6b9aba 6652:85d6efcb1fa3

mercurial