diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2020-04-22 18:10:18 +0200 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2020-04-22 18:10:18 +0200 |
| commit | 7cbc06bccfa89f83ff029b1487d2eed234a9c085 (patch) | |
| tree | 2ab5288da8e0ae376cf26e012eb26239f859179a /TODO.org | |
| parent | f2b63f63aba2b210d2e556672c46fbca18556b76 (diff) | |
scripts: Do full index every 10 cycles.
Diffstat (limited to 'TODO.org')
0 files changed, 0 insertions, 0 deletions