make/Jprt.gmk
changeset 24570 73964a8ec72d
parent 22031 ae288cbb4c28
child 24411 54baaf3fa2ca
equal deleted inserted replaced
24569:9e8d972e5e3b 24570:73964a8ec72d