diff make/jprt.properties @ 3665:3c31c42c0cd3

IdealGraphPrinter: add the ability to specify edge labels in XML input
author Peter Hofer <peter.hofer@jku.at>
date Fri, 18 Nov 2011 14:24:27 +0100
parents 03b943e6c025
children 0cc8a70952c3
line wrap: on
line diff