rust/docs
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