comparison README @ 7720:d71feabc9995

Removed graph dump after every canonicalization.
author Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
date Tue, 05 Feb 2013 17:01:34 +0100
parents a61af66fc99e
children
comparison
equal deleted inserted replaced
7713:fec77d5cd187 7720:d71feabc9995