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
tree395493fa3f962cc77770e457e7fbcf84d1473962
parentb38db15f2a7f7f9ba9431748f593bf97c991260d
view/html: Document severities and tags.
mumi/web/view/html.scm