make/jprt.config
changeset 2485 dc7165666847
parent 1117 78c43ef52a0a
child 2096 da51837a7368
equal deleted inserted replaced
2484:9f3b45efb17d 2485:dc7165666847