make/jprt.properties

changeset 19
6e0cf0dc59e5
parent 1
55540e827aef
child 70
972c6157fae5
equal deleted inserted replaced
17:e9dad83f035c 19:6e0cf0dc59e5

mercurial