Fixed \178 -> \200. [jgm/peg-markdown]

See https://github.com/jgm/peg-markdown/commit/eb286be
This commit is contained in:
Michael Teichgräber 2011-02-21 02:47:24 +01:00
parent b9766af7aa
commit d8bbdbe0ff

View File

@ -646,7 +646,7 @@ Spnl = Sp (Newline Sp)?
SpecialChar = '*' | '_' | '`' | '&' | '[' | ']' | '<' | '!' | '\\' | ExtendedSpecialChar SpecialChar = '*' | '_' | '`' | '&' | '[' | ']' | '<' | '!' | '\\' | ExtendedSpecialChar
NormalChar = !( SpecialChar | Spacechar | Newline ) . NormalChar = !( SpecialChar | Spacechar | Newline ) .
NonAlphanumeric = [\000-\057\072-\100\133-\140\173-\177] NonAlphanumeric = [\000-\057\072-\100\133-\140\173-\177]
Alphanumeric = [0-9A-Za-z\178-\377] Alphanumeric = [0-9A-Za-z\200-\377]
AlphanumericAscii = [A-Za-z0-9] AlphanumericAscii = [A-Za-z0-9]
Digit = [0-9] Digit = [0-9]