scripts: Remove "fetch" command.
authorRicardo Wurmus <rekado@elephly.net>
Tue, 7 Apr 2020 12:27:16 +0000 (14:27 +0200)
committerRicardo Wurmus <rekado@elephly.net>
Tue, 7 Apr 2020 12:27:16 +0000 (14:27 +0200)
commitdc0ede962970f3ffec112f94f45280cc951adb3e
tree02c579b3200ba3fad816f2f87cb82e65cc95a16e
parent7e1fd9665cc95ecf5b19aff6c41c0d3f6ce72cbf
scripts: Remove "fetch" command.
scripts/mumi.in