make/jprt.gmk
changeset 822 da48912b8dd7
parent 0 fd16c54261b3
child 874 638ddad10e12
equal deleted inserted replaced
817:cd8b8f500fac 822:da48912b8dd7