make/jprt.properties

changeset 601
bd85271c580c
parent 554
9d9f26857129
child 646
47e7ff871196
equal deleted inserted replaced
600:ff9c0a0bf7ed 601:bd85271c580c

mercurial