diff options
| author | Daniel <kingdread@gmx.de> | 2020-06-12 12:49:44 +0200 |
|---|---|---|
| committer | Daniel <kingdread@gmx.de> | 2020-06-12 12:49:44 +0200 |
| commit | 47348c960072d62031490e923d7fe5a9122ff1cc (patch) | |
| tree | ff27ddc1e2285750f19814790f89712a995b6bef /src/fexpr/grammar.lalrpop | |
| parent | dda777e70121324c4855b94ee2b985f9eda7a251 (diff) | |
| download | raidgrep-47348c960072d62031490e923d7fe5a9122ff1cc.tar.gz raidgrep-47348c960072d62031490e923d7fe5a9122ff1cc.tar.bz2 raidgrep-47348c960072d62031490e923d7fe5a9122ff1cc.zip | |
include fight duration in output
Since we have this information now anyway, might as well include it.
We're using humantime here, as that produces the expected "xxm yys zzms"
output. The conversion shouldn't fail (the unwrap), as we should never
encounter negative fight durations.
Diffstat (limited to 'src/fexpr/grammar.lalrpop')
0 files changed, 0 insertions, 0 deletions