diff CONTRIBUTING @ 30983:d4825798818b

histedit: log the time taken to read in the commands list If we're being fed an external command list from stdin (histedit --commands -), then the time spent reading stdin is outside our control. Log it.
author Simon Farnsworth <simonfar@fb.com>
date Wed, 15 Feb 2017 13:34:06 -0800
parents a492610a2fc1
children
line wrap: on
line diff