scripts: Give update-state! optional loop argument.
authorRicardo Wurmus <rekado@elephly.net>
Wed, 22 Apr 2020 08:34:32 +0000 (10:34 +0200)
committerRicardo Wurmus <rekado@elephly.net>
Wed, 22 Apr 2020 08:34:32 +0000 (10:34 +0200)
commitf7f1cbd4aec0ab748c64e417c1dbd28e35556cb0
tree3e159ca3925303feb207f00e53758315269c98eb
parent116c0067606484d70e7ad709e6d2b5c33b39985e
scripts: Give update-state! optional loop argument.
scripts/mumi.in