diff options
| author | fpi | 2020-10-30 19:33:26 +0100 |
|---|---|---|
| committer | fpi | 2022-03-17 14:44:37 +0100 |
| commit | e900cf26c13478aff3cc942dde20af5ff0944888 (patch) | |
| tree | dab0e9fdabda1f27be47011fefd92744cb977d9c /.gitignore | |
| parent | Sort some agenda entries by hotness (diff) | |
Set clock checking to tolerate no gap at all
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions