Wed, 15 Feb 2017 13:34:06 -0800 |
Simon Farnsworth |
extdiff: log time spent in external diff program
|
Wed, 15 Feb 2017 13:34:06 -0800 |
Simon Farnsworth |
crecord: log blocked time waiting for curses input
|
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
|