diff make/jprt.properties @ 8410:e996a732c740

renamings as part of a move away from the overloading of the "snippet" term for various code replacement/substitution mechanisms towards it being solely for the concept of IR lowering
author Doug Simon <doug.simon@oracle.com>
date Wed, 20 Mar 2013 20:23:23 +0100
parents 3958f0acde31
children 3be6a41ad358
line wrap: on
line diff