make/jprt.config

changeset 1082
bd441136a5ce
parent 713
4852f4a82e58
child 1148
4961a8a726a4
equal deleted inserted replaced
1075:ba50942c8138 1082:bd441136a5ce

mercurial