diff options
author | Ricardo Wurmus <rekado@elephly.net> | 2022-07-06 14:16:37 +0200 |
---|---|---|
committer | Ricardo Wurmus <rekado@elephly.net> | 2022-07-06 14:16:37 +0200 |
commit | f73df1101274cbe14a36f59ca71bc94ff08c4ad0 (patch) | |
tree | b248963e7f887423944f32b5c1a60c51360a37a6 | |
parent | e4cce9e1f903e3a64ca038bf1279220f0680b06a (diff) |
help: Mention msgid filter.
-rw-r--r-- | mumi/web/view/html.scm | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/mumi/web/view/html.scm b/mumi/web/view/html.scm index 9b44c67..4c5cb44 100644 --- a/mumi/web/view/html.scm +++ b/mumi/web/view/html.scm @@ -330,7 +330,10 @@ some examples.") (tr (td (span (@ (class "filter")) "mdate:<start>..<end>")) (td "This is just like " (span (@ (class "filter")) "date") - " except that it also includes comments.")))))))) + " except that it also includes comments.")) + (tr + (td (span (@ (class "filter")) "msgid:<message id>")) + (td "Find issues containing a message with the given message id.")))))))) (define (unknown id) (layout |