make/jprt.properties

changeset 1678
125eb6a9fccf
parent 1379
b1f5ced5da21
child 1847
731bcbe3c9c4
equal deleted inserted replaced
1677:ffc8d176b84b 1678:125eb6a9fccf

mercurial