projects / software / mumi.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b38db15) | patch
view/html: Document severities and tags.
authorRicardo Wurmus <rekado@elephly.net>
Wed, 13 May 2020 10:19:34 +0000 (12:19 +0200)
committerRicardo Wurmus <rekado@elephly.net>
Wed, 13 May 2020 10:19:34 +0000 (12:19 +0200)
commit2b87dd22bd9ef4d5d2e769c8e6ddf94c10a5ec3e
tree395493fa3f962cc77770e457e7fbcf84d1473962tree | snapshot
parentb38db15f2a7f7f9ba9431748f593bf97c991260dcommit | diff
view/html: Document severities and tags.
mumi/web/view/html.scm diff | blob | history
Mediocre, uh, mail interface: mumi. A moderately prettier web frontend to Debbugs.