projects / software / mumi.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5cb42e9) | patch
scripts: Fetch messages regularly.
authorRicardo Wurmus <rekado@elephly.net>
Tue, 31 Mar 2020 14:16:54 +0000 (16:16 +0200)
committerRicardo Wurmus <rekado@elephly.net>
Tue, 31 Mar 2020 14:16:54 +0000 (16:16 +0200)
commit5fdbc3e717b8ed4bfef83294ed26361eb21c20c1
tree91b1976a7b41f94215cb890afd373b6169cc1825tree | snapshot
parent5cb42e9fce80547c7abb77864626fec6d40ed4ddcommit | diff
scripts: Fetch messages regularly.
scripts/mumi.in diff | blob | history
Mediocre, uh, mail interface: mumi. A moderately prettier web frontend to Debbugs.