mirror of
https://github.com/ashinn/chibi-scheme.git
synced 2025-05-18 21:29:19 +02:00
add 0085 (NEXT LINE) to char-set:whitespace (fixes #515
This commit is contained in:
parent
456853921b
commit
a5a7345df9
2 changed files with 3 additions and 3 deletions
File diff suppressed because one or more lines are too long
|
@ -179,7 +179,7 @@
|
|||
"Punctuation=P"
|
||||
"Symbol=S"
|
||||
"Blank=Zs,0009"
|
||||
"Whitespace=Zs,Zl,Zp,0009,000A,000B,000C,000D"
|
||||
"Whitespace=Zs,Zl,Zp,0009,000A,000B,000C,000D,0085"
|
||||
"Digit=Nd"))
|
||||
|
||||
(let ((args (command-line)))
|
||||
|
|
Loading…
Add table
Reference in a new issue