contrib/perf.py
changeset 7877 eba7f12b0c51
parent 7872 f680a1bd679b
child 8656 284fda4cd093