make/jprt.config
changeset 825 49e709107aec
parent 740 b13aca6dc92a
child 875 c879050e4c17
child 874 638ddad10e12
equal deleted inserted replaced
824:ea3d0c81cee9 825:49e709107aec