make/jprt.config
changeset 1660 86be56b9ba46
parent 1117 78c43ef52a0a
child 2096 da51837a7368
equal deleted inserted replaced
1659:b9a3819ac7c6 1660:86be56b9ba46