diff make/jprt.properties @ 19536:2c3ea61e8b65

Small clean up for graph building.
author Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
date Sun, 22 Feb 2015 15:37:46 +0100
parents cb1b723cbca8
children 43aa571c1131
line wrap: on
line diff