Wed, 15 Feb 2017 13:38:00 -0800 |
Simon Farnsworth |
ui: give editor() a tag of its own
|
Wed, 15 Feb 2017 13:29:12 -0800 |
Simon Farnsworth |
ui: time calls to ui.system
|
Wed, 15 Feb 2017 13:50:06 -0800 |
Simon Farnsworth |
ui: log time spent blocked on stdio
|
Wed, 15 Feb 2017 13:07:26 -0800 |
Simon Farnsworth |
contrib: add a write microbenchmark to perf.py
|
Wed, 15 Feb 2017 13:17:45 -0800 |
Simon Farnsworth |
ui: provide a mechanism to track and log blocked time
|
Wed, 15 Feb 2017 13:17:39 -0800 |
Simon Farnsworth |
mercurial: switch to util.timer for all interval timings
|
Wed, 15 Feb 2017 11:53:59 -0800 |
Simon Farnsworth |
util: introduce timer()
|