Revert "scripts: update-state!: Do a full refresh every 100 times."
authorRicardo Wurmus <rekado@elephly.net>
Tue, 7 Apr 2020 14:11:50 +0000 (16:11 +0200)
committerRicardo Wurmus <rekado@elephly.net>
Tue, 7 Apr 2020 14:11:50 +0000 (16:11 +0200)
commitc85015dac8110bd7a4c37375b9eb05ebeadedf74
treee9e782121f68f7c772d61fad3d5e3e9c9c3a6f76
parent3386525ffc93ee099f5c1ebe45a42a4e83339ff6
Revert "scripts: update-state!: Do a full refresh every 100 times."

This reverts commit 5c21d1deb3e534aedaaae4802423db0a5df041b0.
scripts/mumi.in