scripts: Add "fetch" command.
authorRicardo Wurmus <rekado@elephly.net>
Tue, 7 Apr 2020 14:11:17 +0000 (16:11 +0200)
committerRicardo Wurmus <rekado@elephly.net>
Tue, 7 Apr 2020 14:11:17 +0000 (16:11 +0200)
commit3386525ffc93ee099f5c1ebe45a42a4e83339ff6
treed88a7acb066dfe8f2a32db99b445440ec5f8ac12
parent5c21d1deb3e534aedaaae4802423db0a5df041b0
scripts: Add "fetch" command.

This is to fetch all emails, including archived ones.
scripts/mumi.in