make/jprt.properties
changeset 25729 fa3a77f2977b
parent 25316 7982f0abfcfc
child 25615 4a0f6c4ae1cb
equal deleted inserted replaced
25728:7f8a76e3baa8 25729:fa3a77f2977b