make/jprt.gmk
changeset 54 a007508f7193
parent 0 fd16c54261b3
child 874 638ddad10e12
equal deleted inserted replaced
53:711cd7c3af02 54:a007508f7193