diff options
author | John MacFarlane <jgm@berkeley.edu> | 2015-06-04 00:34:19 +0200 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2015-06-04 00:34:19 +0200 |
commit | 4edf470184bb3220f99d8cdd38597d069cf525ca (patch) | |
tree | ad4c1a214bf3ae2ca7ff5ba6e5df4c47d3eedae1 | |
parent | 90601383dc873587638153ed865fe475cba87825 (diff) |
Removed platform-dependence part of def of line ending.
Closes #326.
-rw-r--r-- | spec.txt | 5 |
1 files changed, 2 insertions, 3 deletions
@@ -212,9 +212,8 @@ to a certain encoding. A [line](@line) is a sequence of zero or more [character]s followed by a [line ending] or by the end of file. -A [line ending](@line-ending) is, depending on the platform, a -newline (`U+000A`), carriage return (`U+000D`), or -carriage return + newline. +A [line ending](@line-ending) is a newline (`U+000A`), carriage return +(`U+000D`), or carriage return + newline. For security reasons, a conforming parser must strip or replace the Unicode character `U+0000`. |