make/jprt.gmk
changeset 12698 8d48f8005004
parent 12254 a6afc5f91f1e
equal deleted inserted replaced
12697:79006a8e17dd 12698:8d48f8005004