projects / software / mumi.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2797636) | patch
html: Replace "patch" with "issue".
authorRicardo Wurmus <rekado@elephly.net>
Wed, 22 Apr 2020 16:12:02 +0000 (18:12 +0200)
committerRicardo Wurmus <rekado@elephly.net>
Wed, 22 Apr 2020 16:12:02 +0000 (18:12 +0200)
commite4b0a7d7585fd40f1a7bd0d3f5a503d6a1b410a4
treea1219f81d9e5ac907b018a32fa5d1a26d72312f3tree | snapshot
parent27976361220917d05144fa95a07a522f3700327dcommit | diff
html: Replace "patch" with "issue".
mumi/web/view/html.scm diff | blob | history
Mediocre, uh, mail interface: mumi. A moderately prettier web frontend to Debbugs.