mini: tolerate non-breaking space (alt+spacebar on macos)

This commit is contained in:
Felix Roos 2023-12-31 16:44:35 +01:00
parent 9b32900b96
commit 1d32da075d
2 changed files with 3 additions and 3 deletions

View file

@ -95,7 +95,7 @@ DIGIT = [0-9]
// ------------------ delimiters ---------------------------
ws "whitespace" = [ \n\r\t]*
ws "whitespace" = [ \n\r\t\u00A0]*
comma = ws "," ws
pipe = ws "|" ws
quote = '"' / "'"