Merge pull request #1102 from igorini/master

Fix inline code block in notation.grm
This commit is contained in:
Alexander Udalov
2017-05-29 10:55:38 +03:00
committed by GitHub
+1 -1
View File
@@ -18,7 +18,7 @@ Operator `*` denotes _iteration_ (zero or more).<br>
Operator `+` denotes _iteration_ (one or more).<br>
Operator `?` denotes _option_ (zero or one).<br>
alpha`{`beta`}` denotes a nonempty _beta_-separated list of _alpha_'s. <br>
Operator ``++'' means that no space or comment allowed between operands.
Operator `++` means that no space or comment allowed between operands.
# Semicolons