diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2015-06-07 13:18:52 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2015-06-07 13:18:52 -0700 |
| commit | 85e66b8d590b52af77aaaeb99c2d54abba130a52 (patch) | |
| tree | 56a670a3999db84d5d423c275ac3ed04728e35fb /tools | |
| parent | 2ee9ee3ee35cb84723d16f27f68ef8a3b29bc5bc (diff) | |
Define "space," revise "non-space character".
Previously a non-space character was defined as anything but
a space (U+0020). Now it is anything that is not a whitespace
character (as defined in the spec).
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions