make/jprt.config
changeset 2436 ae4667371301
parent 2099 a9be2da8a8f2
equal deleted inserted replaced
2435:5c063c7a9f51 2436:ae4667371301