doc: Time components may not actually be separated by ".".
authorBen Pfaff <blp@cs.stanford.edu>
Mon, 25 Feb 2019 17:47:21 +0000 (09:47 -0800)
committerBen Pfaff <blp@cs.stanford.edu>
Mon, 25 Feb 2019 17:47:21 +0000 (09:47 -0800)
Reported by Matteo Ga.

doc/language.texi

index fc459b695385690138c8c6562f2d481d64c1e2b9..10fab4eca6391ef8494e18dc8859fb39fb2beb98 100644 (file)
@@ -1182,7 +1182,7 @@ controls the character accepted and displayed as the decimal point
 For output, the date and time formats use the delimiters indicated in
 the table.  For input, date components may be separated by spaces or by
 one of the characters @samp{-}, @samp{/}, @samp{.}, or @samp{,}, and
-time components may be separated by spaces, @samp{:}, or @samp{.}.  On
+time components may be separated by spaces or @samp{:}.  On
 input, the @samp{Q} separating quarter from year and the @samp{WK}
 separating week from year may be uppercase or lowercase, and the spaces
 around them are optional.