projects / software / mumi.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f2b63f6) | patch
scripts: Do full index every 10 cycles.
authorRicardo Wurmus <rekado@elephly.net>
Wed, 22 Apr 2020 16:10:18 +0000 (18:10 +0200)
committerRicardo Wurmus <rekado@elephly.net>
Wed, 22 Apr 2020 16:10:18 +0000 (18:10 +0200)
commit7cbc06bccfa89f83ff029b1487d2eed234a9c085
tree2ab5288da8e0ae376cf26e012eb26239f859179atree | snapshot
parentf2b63f63aba2b210d2e556672c46fbca18556b76commit | diff
scripts: Do full index every 10 cycles.
scripts/mumi.in diff | blob | history
Mediocre, uh, mail interface: mumi. A moderately prettier web frontend to Debbugs.