make/jprt.properties

changeset 144
382219a27386
parent 111
c4523c6f8204
child 159
4d7419e4b759
equal deleted inserted replaced
139:0f53f147f5ca 144:382219a27386

mercurial