make/jprt.gmk
changeset 1953 196178c3539d
parent 1215 00ad557cab71
child 2096 da51837a7368
equal deleted inserted replaced
1952:dbdfa384e375 1953:196178c3539d