make/jprt.config
changeset 916 867515b155b5
parent 740 b13aca6dc92a
child 875 c879050e4c17
child 874 638ddad10e12
equal deleted inserted replaced
871:a9f1805e3ba9 916:867515b155b5