Merge pull request #1282 from jafingerhut/fix-markup-for-list-items

Madoko requires blank line before first element of a list
p4lang · Jul 5, 2024 · da5a264 · da5a264
2 parents 5ca203f + 9b1815e
commit da5a264
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/p4-16/spec/P4-16-spec.mdk b/p4-16/spec/P4-16-spec.mdk
@@ -3345,6 +3345,7 @@ const bool same = exact == fuzzy;  // always 'false'
 ## Expressions on Booleans { #sec-bool-exprs }
 
 The following operations are provided on Boolean expressions:
+
 - "And", denoted by `&&`
 - "Or", denoted by `||`
 - Negation, denoted by `!`