diff options
| author | Rüdiger Herrmann <[email protected]> | 2020-12-22 00:15:50 +0000 |
|---|---|---|
| committer | Rüdiger Herrmann <[email protected]> | 2020-12-22 13:51:17 +0000 |
| commit | 9f070531a6b587b4a5fe9099d5a0623e4d20597b (patch) | |
| tree | a7f2f169634759e074b59e9ad0f7a4dadebf404e /docs/dev | |
| parent | ba71685343ccdca9de3899d2ae634aaa8185c359 (diff) | |
Clean up descriptions for settings
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, editor commands, command line
arguments, files, etc. as `code`.
Fix typos, add missing full-stops, add missing default values.
Diffstat (limited to 'docs/dev')
0 files changed, 0 insertions, 0 deletions