log

age author description
Tue, 24 Feb 2015 14:09:40 +0100 Thomas Wuerthinger Remove redundant begin nodes after graph building.
Tue, 24 Feb 2015 13:23:52 +0100 Thomas Wuerthinger Add option DumpDuringGraphBuilding and default to false.
Tue, 24 Feb 2015 12:33:32 +0100 Thomas Wuerthinger Merge.