Terry Sun 04e1d72354 Fix title of User Manual page ...

Asciidoc uses the first line of a doc as the title, so you can't put
comments before the heading.

2021-09-22 21:39:21 -07:00

..

dev

docs: fix unknown configuration setting

2021-09-06 19:57:17 +08:00

user

Fix title of User Manual page

2021-09-22 21:39:21 -07:00