make/jprt.config
changeset 1964 934568dfe859
parent 740 b13aca6dc92a
child 875 c879050e4c17
child 874 638ddad10e12
equal deleted inserted replaced
1963:16c7a0981e65 1964:934568dfe859