Skip to content

Commit 702dd00

Browse files
authored
manual.md: fix markup so list is shown properly [ci skip] (#7053)
1 parent 164e064 commit 702dd00

File tree

2 files changed

+2
-0
lines changed

2 files changed

+2
-0
lines changed

man/manual-premium.md

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -912,6 +912,7 @@ Carriage return
912912
You can add remark comments in the source code that justify why there is a warning/violation.
913913

914914
Such a remark comment shall:
915+
915916
* start with REMARK.
916917
* can either be added above the source code that generates the warning, or after the code on the same line.
917918

man/manual.md

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -913,6 +913,7 @@ Carriage return
913913
You can add remark comments in the source code that justify why there is a warning/violation.
914914

915915
Such a remark comment shall:
916+
916917
* start with REMARK.
917918
* can either be added above the source code that generates the warning, or after the code on the same line.
918919

0 commit comments

Comments
 (0)