make/jprt.gmk
changeset 19355 84011dfd634b
parent 12254 a6afc5f91f1e
equal deleted inserted replaced
19354:e5a4f2784bf2 19355:84011dfd634b