aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2015-06-04 00:34:19 +0200
committerJohn MacFarlane <jgm@berkeley.edu>2015-06-04 00:34:19 +0200
commit4edf470184bb3220f99d8cdd38597d069cf525ca (patch)
treead4c1a214bf3ae2ca7ff5ba6e5df4c47d3eedae1
parent90601383dc873587638153ed865fe475cba87825 (diff)
Removed platform-dependence part of def of line ending.
Closes #326.
-rw-r--r--spec.txt5
1 files changed, 2 insertions, 3 deletions
diff --git a/spec.txt b/spec.txt
index 9b2b977..b9a1cec 100644
--- a/spec.txt
+++ b/spec.txt
@@ -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`.