diff make/defs.make @ 2684:ed36daed4c43

Add new option PrintIdealGraphToFile and another printer/observer pair to generate a graph representation that can be visualized and inspected with the ideal graph visualizer
author Peter Hofer <peter.hofer@jku.at>
date Mon, 16 May 2011 17:31:53 +0200
parents b76d12f4ab2d
children f08d439fab8c
line wrap: on
line diff