diff options
author | David Peter <mail@david-peter.de> | 2022-02-19 16:21:58 +0100 |
---|---|---|
committer | David Peter <sharkdp@users.noreply.github.com> | 2022-02-19 16:53:02 +0100 |
commit | 2d0cd4b53caaa7fe10aaa9936f3fcbdefd6f9036 (patch) | |
tree | 71e370494ae6177c934450b9e3b264fcbad5a084 | |
parent | 833529f733977e8ebaa833d1d1d4909e90de26d3 (diff) |
Modify doc comment
-rw-r--r-- | src/benchmark/mod.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/benchmark/mod.rs b/src/benchmark/mod.rs index 3379cc3..a6b787b 100644 --- a/src/benchmark/mod.rs +++ b/src/benchmark/mod.rs @@ -26,7 +26,7 @@ use anyhow::{bail, Result}; /// Threshold for warning about fast execution time pub const MIN_EXECUTION_TIME: Second = 5e-3; -/// Results from timing a single shell command +/// Results from timing a single command #[derive(Debug, Default, Copy, Clone)] pub struct TimingResult { /// Wall clock time |