make/jprt.config
changeset 1672 ae4d91125c2d
parent 1117 78c43ef52a0a
child 2096 da51837a7368
equal deleted inserted replaced
1671:eb19833101ad 1672:ae4d91125c2d