diff make/jprt.properties @ 9277:1fcaf6edc69d

CallSiteTargetNode: address review comment
author Andreas Woess <andreas.woess@jku.at>
date Wed, 24 Apr 2013 13:35:14 +0200
parents f36e073d56a4
children e76dd894b984
line wrap: on
line diff