make/jprt.properties

changeset 1082
bd441136a5ce
parent 1067
ec1a6dc46005
child 1154
a61730a6fdbc
equal deleted inserted replaced
1075:ba50942c8138 1082:bd441136a5ce

mercurial