make/jprt.properties

changeset 126
bd26d0ce0c3c
parent 116
4ac192952d75
child 139
06c51671c84b
equal deleted inserted replaced
122:5bca7bc114a0 126:bd26d0ce0c3c

mercurial