diff contrib/perf.py @ 16588:72319bfd7966

phases: line.strip().split() == line.split()
author Martin Geisler <mg@aragost.com>
date Fri, 04 May 2012 15:24:00 +0200
parents e8d37b78acfb
children 525fdb738975
line wrap: on
line diff