diff options
-rw-r--r-- | manual/index.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/manual/index.html b/manual/index.html index 0893c071..8ccaa82a 100644 --- a/manual/index.html +++ b/manual/index.html @@ -5803,7 +5803,7 @@ evaluating a condition, see the <code>//</code> operator below.</p> <p>The <code>//</code> operator produces all the values of its left-hand side that are neither <code>false</code> nor <code>null</code>, or, if the left-hand side produces no values other than <code>false</code> or -<code>true</code>, then <code>//</code> produces all the values of its right-hand +<code>null</code>, then <code>//</code> produces all the values of its right-hand side.</p> <p>A filter of the form <code>a // b</code> produces all the results of <code>a</code> that are not <code>false</code> or <code>null</code>. If <code>a</code> produces no |