diff make/jprt.properties @ 19294:b31b2f289e7d

Truffle-DSL: fix unnecessary frame cast warning.
author Christian Humer <christian.humer@gmail.com>
date Wed, 11 Feb 2015 16:10:45 +0100
parents cb1b723cbca8
children 43aa571c1131
line wrap: on
line diff