log

age author description
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