Wed, 15 Feb 2017 13:38:00 -0800 | Simon Farnsworth | ui: give editor() a tag of its own | changeset | files |
Wed, 15 Feb 2017 13:29:12 -0800 | Simon Farnsworth | ui: time calls to ui.system | changeset | files |
Wed, 15 Feb 2017 13:50:06 -0800 | Simon Farnsworth | ui: log time spent blocked on stdio | changeset | files |
Wed, 15 Feb 2017 13:07:26 -0800 | Simon Farnsworth | contrib: add a write microbenchmark to perf.py | changeset | files |