diff 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
line wrap: on
line diff