diff make/jprt.properties @ 13593:24353c21ef34

slightly better (denser) Class.isArray check
author twisti
date Fri, 10 Jan 2014 19:30:45 -0800
parents 384c92148c68
children 50fdb38839eb
line wrap: on
line diff