make/jprt.config
changeset 1055 f4fb9fb08038
parent 740 b13aca6dc92a
child 875 c879050e4c17
child 874 638ddad10e12
equal deleted inserted replaced
965:15aa5abc6628 1055:f4fb9fb08038