make/jprt.gmk
changeset 19551 8360536a13fa
parent 12254 a6afc5f91f1e
equal deleted inserted replaced
19530:0c39c59e1624 19551:8360536a13fa