From f1a6f912358605014d046b417e65947a8d3dd86e Mon Sep 17 00:00:00 2001
From: merni-ns <66267867+merni-ns@users.noreply.github.com>
Date: Mon, 3 Jul 2023 23:15:06 +0530
Subject: [PATCH] Doc: Remove redundant <pre>

---
 CODINGSTYLE.md | 2 --
 1 file changed, 2 deletions(-)

diff --git a/CODINGSTYLE.md b/CODINGSTYLE.md
index 2c204446c8..9c6bfe6e67 100644
--- a/CODINGSTYLE.md
+++ b/CODINGSTYLE.md
@@ -416,9 +416,7 @@ There is a check-script on the git server (also available for clients, see below
 
 The first line of a message must match:
 ```
-<pre>
 <keyword>( #<issue>| <commit>(, (<keyword> #<issue>|<commit>))*)?: ([<section])? <Details>
-</pre>
 ```
 Keywords are:
 * Add, Feature: Adding new stuff. Difference between "Feature" and "Add" is somewhat subjective. "Feature" for user-point-of-view stuff, "Add" for other.