comparison make/jprt.properties @ 13127:f42f1f5d5ce0

Allow custom field offset providers
author Christian Wimmer <christian.wimmer@oracle.com>
date Fri, 22 Nov 2013 11:59:39 -0800
parents 384c92148c68
children 50fdb38839eb
comparison
equal deleted inserted replaced
13126:c07055d2c66e 13127:f42f1f5d5ce0