make/jprt.properties

changeset 2527
cdef89d821bd
parent 2426
e24ab3fa6aaf
child 2508
b92c45f2bc75
child 2535
59e20a452a2a
equal deleted inserted replaced
2500:14c2f31280dd 2527:cdef89d821bd

mercurial