diff options
author | github-actions[bot] <github-actions[bot]@users.noreply.github.com> | 2023-08-04 04:33:08 +0000 |
---|---|---|
committer | github-actions[bot] <github-actions[bot]@users.noreply.github.com> | 2023-08-04 04:33:08 +0000 |
commit | 8846a5bf6c99bb2f4e564e3853d9143af7d65c0d (patch) | |
tree | 94b6030fcfb9fa05c42fe374a683321fdcc30d6c | |
parent | 69c70a9e75344064d53a28baddcdd4ff4efcf924 (diff) |
Update website
-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 |