diff options
author | github-actions[bot] <github-actions[bot]@users.noreply.github.com> | 2023-12-11 11:41:22 +0000 |
---|---|---|
committer | github-actions[bot] <github-actions[bot]@users.noreply.github.com> | 2023-12-11 11:41:22 +0000 |
commit | e3146babc7285937161d9b6931d021aa7b964fbf (patch) | |
tree | 2ab9513ee4ee58cc53693d85258e0f8d2e6c0bc3 | |
parent | a16f2acbe53dc90136651a35b56c021a10685d61 (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 a285ba23..4e0bac6c 100644 --- a/manual/index.html +++ b/manual/index.html @@ -5821,7 +5821,7 @@ evaluating a condition, see the <code>//</code> operator below.</p> <a href="#alternative-operator" class="icon-link" aria-label="Link to this section: Alternative operator: `//`"><span class="bi bi-link-45deg" aria-hidden="true"></span></a> </h3> <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 +side that are neither <code>false</code> nor <code>null</code>. If the left-hand side produces no values other than <code>false</code> or <code>null</code>, then <code>//</code> produces all the values of its right-hand side.</p> |