scripts: Do full index every 10 cycles.
authorRicardo Wurmus <rekado@elephly.net>
Wed, 22 Apr 2020 16:10:18 +0000 (18:10 +0200)
committerRicardo Wurmus <rekado@elephly.net>
Wed, 22 Apr 2020 16:10:18 +0000 (18:10 +0200)
commit7cbc06bccfa89f83ff029b1487d2eed234a9c085
tree2ab5288da8e0ae376cf26e012eb26239f859179a
parentf2b63f63aba2b210d2e556672c46fbca18556b76
scripts: Do full index every 10 cycles.
scripts/mumi.in