comparison make/jprt.properties @ 16327:5f01f7c48d40

Merge with 5cdcb94a7cf7d9782107cc582f3e4b50000d5d1f
author Stefan Anzinger <stefan.anzinger@gmail.com>
date Mon, 30 Jun 2014 12:02:19 +0200
parents f0221ff14605
children 3ef5c627634a
comparison
equal deleted inserted replaced
16326:51f392557124 16327:5f01f7c48d40