diff make/jprt.properties @ 9602:19c5a07c7843

Introduce a graph() method that returns a StructuredGraph, to make many explicit casts unnecessary
author Christian Wimmer <christian.wimmer@oracle.com>
date Tue, 07 May 2013 12:03:21 -0700
parents f36e073d56a4
children e76dd894b984
line wrap: on
line diff