Doc: Remove redundant <pre>

11 months ago · f1a6f91235
parent bcaa60612e
commit f1a6f91235
1 changed files with 0 additions and 2 deletions
--- 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.