diff perf/benchmarktool.py @ 3477:ce737132129b

Lazy calculation of detailed name in GraphBuilderPhase
author Thomas Wuerthinger <thomas@wuerthinger.net>
date Wed, 03 Aug 2011 11:50:44 -0700
parents 53502e3f3e0d
children 344264424174
line wrap: on
line diff