diff options
| author | Daniel <kingdread@gmx.de> | 2020-06-12 13:03:44 +0200 |
|---|---|---|
| committer | Daniel <kingdread@gmx.de> | 2020-06-12 13:03:44 +0200 |
| commit | 600683df83cea34f10341d7fe2a328559c578379 (patch) | |
| tree | 21a60e9fca6ad7200cc3f0d000eb2c71b961287f /src/main.rs | |
| parent | 47348c960072d62031490e923d7fe5a9122ff1cc (diff) | |
| download | raidgrep-600683df83cea34f10341d7fe2a328559c578379.tar.gz raidgrep-600683df83cea34f10341d7fe2a328559c578379.tar.bz2 raidgrep-600683df83cea34f10341d7fe2a328559c578379.zip | |
allow durations with minutes as well
This allows things like "2m 50s" but also "5m".
humantime would allow even more, but we need a regular expression to
catch them for lalrpop, so for now this are the only two supported
formats (together with "50s"). Considering the usual time of fights in
GW2, I doubt we'll need anything bigger than minutes.
Diffstat (limited to 'src/main.rs')
0 files changed, 0 insertions, 0 deletions