diff options
| author | Joris | 2020-05-10 15:10:13 +0200 |
|---|---|---|
| committer | Joris | 2020-05-10 15:10:13 +0200 |
| commit | 80ceab3620cc09b10612991ac982ea42745c2a07 (patch) | |
| tree | fa3397cb9c31ca55b0f95fc87efd6d115eb586c2 /shell.nix | |
| parent | 2b479fae26b7446f9269223d1e1fb4073839f5cc (diff) | |
Allows decimals in durations
Diffstat (limited to 'shell.nix')
0 files changed, 0 insertions, 0 deletions