Merge pull request #10119 from Bibo-Joshi/elaborate-docs-on-nitpick_ignore2022-01-22T02:59:34+00:00Takeshi KOMIYAi.tkomiya@gmail.com2022-01-22T02:59:34+00:000cc338f9c5e9ba29bb82de40129e357d54439418
Documentation: Mention `nitpick_ignore(_regex)` in docs of `warn-missing-reference`
Documentation: Mention `nitpick_ignore(_regex)` in docs of `warn-missing-reference`
Mention nitpick_ignore(_regex) in docs of warn-missing-reference2022-01-18T21:01:52+00:00Hinrich Mahler22366557+Bibo-Joshi@users.noreply.github.com2022-01-18T21:01:52+00:0084a627068578d265adf46e367f7633032dd2316c
Merge pull request #10108 from tk0miya/9456_html_show_search_summary2022-01-17T17:24:34+00:00Takeshi KOMIYAi.tkomiya@gmail.com2022-01-17T17:24:34+00:002be06309518d9401a42880bb5b4321dfdd1e5e90
Close #9456: html search: Add a config variable; html_show_search_summary
Close #9456: html search: Add a config variable; html_show_search_summary
Merge pull request #10109 from kianmeng/revert-typo-change2022-01-17T16:26:06+00:00Takeshi KOMIYAi.tkomiya@gmail.com2022-01-17T16:26:06+00:00d44ea7027297481b190e0ae0aca88d8eff6b7d3f
Revert typo change
Close #9456: html search: Add a config variable; html_show_search_summary2022-01-16T16:44:42+00:00Takeshi KOMIYAi.tkomiya@gmail.com2022-01-16T16:44:42+00:0072bb5c998f780839e0b16b8b2d4997cd04797afd
refs: #9494