docs: use code-tags instead of pre-tags
authorErik Faye-Lund <erik.faye-lund@collabora.com>
Thu, 16 Jan 2020 17:01:41 +0000 (18:01 +0100)
committerErik Faye-Lund <erik.faye-lund@collabora.com>
Fri, 17 Jan 2020 12:18:52 +0000 (13:18 +0100)
commita370cfd96ed11463a9e76c1d9bc42eb5f3858fde
tree13648af54abfa1f176e251a4d924144e9f354164
parent1de361e56b33fff35e2feb83dd5c404f67d42a69
docs: use code-tags instead of pre-tags

Similar to the previous two commits, it seems more appropriate to use
code-tags here than pre-tag.

Fixes: 9af6c38deff "docs: Add use of Closes: tag for closing gitlab issues"
Acked-by: Dylan Baker <dylan@pnwbakers.com>
Reviewed-by: Eric Engestrom <eric@engestrom.ch>
Part-of: <https://gitlab.freedesktop.org/mesa/mesa/merge_requests/3431>
docs/submittingpatches.html