diff options
author | Erik Faye-Lund <[email protected]> | 2019-04-18 16:12:08 +0200 |
---|---|---|
committer | Erik Faye-Lund <[email protected]> | 2019-05-02 11:09:16 +0000 |
commit | 41573d486fb933012ffb411b49b5cb56b3605865 (patch) | |
tree | cf77f4a9418c38b56c3b9d46007e6a5db0cfb4f2 /docs/submittingpatches.html | |
parent | 5630540a275216d0f1387f249765c03bbc6b64ea (diff) |
docs: close paragraphs before preformatted text
It's illegal to nest block-level elements such as <pre> inside <p> in
HTML. This means that when the paragraphs gets closed after a <pre>-tag,
we end up closing a non-existent tag, so the browser inserts a dummy
<p>-tag. This is entirely pointless, so let's just close these tags
before the <pre>-tag instead.
Signed-off-by: Erik Faye-Lund <[email protected]>
Reviewed-by: Eric Engestrom <[email protected]>
Diffstat (limited to 'docs/submittingpatches.html')
-rw-r--r-- | docs/submittingpatches.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/submittingpatches.html b/docs/submittingpatches.html index 6b9a07357b3..4afa56f5e0b 100644 --- a/docs/submittingpatches.html +++ b/docs/submittingpatches.html @@ -239,8 +239,8 @@ your email administrator for this.) <p> Tick the following when creating the MR. It allows developers to rebase your work on top of master. - <pre>Allow commits from members who can merge to the target branch</pre> </p> +<pre>Allow commits from members who can merge to the target branch</pre> <p> If you revise your patches based on code review and push an update to your branch, you should maintain a <strong>clean</strong> history |