scripts: Remove mu-index.
authorRicardo Wurmus <rekado@elephly.net>
Wed, 22 Apr 2020 08:53:48 +0000 (10:53 +0200)
committerRicardo Wurmus <rekado@elephly.net>
Wed, 22 Apr 2020 08:53:48 +0000 (10:53 +0200)
commit5318c2089f96a8652f1413f06bc8e1ce09d12583
tree5de456fb1608feedcb8560cdb9f112838e59cc6a
parent936c56b877473dd6638897887aed3b0092d4ffa5
scripts: Remove mu-index.
scripts/mumi.in