docs: use code-tags instead of pre-tags
authorErik Faye-Lund <erik.faye-lund@collabora.com>
Thu, 16 Jan 2020 16:49:34 +0000 (17:49 +0100)
committerErik Faye-Lund <erik.faye-lund@collabora.com>
Fri, 17 Jan 2020 12:18:48 +0000 (13:18 +0100)
commit1de361e56b33fff35e2feb83dd5c404f67d42a69
tree80e7a9c1cbb19aa6184619bbc84f7932a43a836d
parent36e02752755bd26992cf87409558f6c016372acd
docs: use code-tags instead of pre-tags

Similar to the previous commit, code-tags seems more appropriate than
pre-tags here. So let's change it.

Fixes: ca0c1e69cab "docs: update releasing process to use new scripts and gitlab"
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/releasing.html