Wed, 15 Feb 2017 13:34:06 -0800 | Simon Farnsworth | extdiff: log time spent in external diff program | changeset | files |
Wed, 15 Feb 2017 13:34:06 -0800 | Simon Farnsworth | crecord: log blocked time waiting for curses input | changeset | files |
Wed, 15 Feb 2017 13:38:00 -0800 | Simon Farnsworth | ui: give editor() a tag of its own | changeset | files |