diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-12-22 15:07:36 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2020-12-22 15:07:36 +0000 |
commit | 013739c73d7070b40ab5654afec8c5e0fb03b559 (patch) | |
tree | e5d537e105e35f692c951636e73e7b52810e3173 /docs/user/manual.adoc | |
parent | e1acb0ca5ca2162be068fd6a07f7cc4ae171ed81 (diff) | |
parent | 9f070531a6b587b4a5fe9099d5a0623e4d20597b (diff) |
Merge #6993
6993: Clean up descriptions for settings r=matklad a=rherrmann
Use two consecutive newlines (`\n\n`) to actually continue text on a
new line.
Use proper markup to reference related settings.
Consistently format references to files, command line arguments, etc.
as `code`. Format mentions of UI elements in _italic_.
Fix typos, add missing full-stops, add missing default values.
Co-authored-by: RĂ¼diger Herrmann <[email protected]>
Diffstat (limited to 'docs/user/manual.adoc')
0 files changed, 0 insertions, 0 deletions