| Commit message (Collapse) | Author | Age | Files | Lines |
| |
|
|
|
|
|
|
|
|
|
|
| |
One document should only contain one main
headline, both for structuring and for
visual reasons.
Relevant cases found via:
git grep -A2 '^# ' docs/
|
|
|
|
|
| |
Fix typos and improve the language by
adding a few commas and a missing word.
|
|
|
|
|
|
| |
I have no idea if this is going to cause rendering problems, and it is fairly
hard to check. So let's just merge this, and if it github markdown processor
doesn't like it, revert.
|
|
Fixes: #17588 #17512
Prompted-by: #17529
(Also relevant: #6076)
|