diff options
author | github-actions[bot] <github-actions[bot]@users.noreply.github.com> | 2023-06-05 21:17:58 +0000 |
---|---|---|
committer | github-actions[bot] <github-actions[bot]@users.noreply.github.com> | 2023-06-05 21:17:58 +0000 |
commit | bd3cd2195d1b6a34655ae65a68d63939b028f124 (patch) | |
tree | 54f5468d1518d3ed111d90b77f4f32d33c93a7fc | |
parent | ec17ebe75bb973341bfe78e2c19b85ee9304ba88 (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 32fec61b..f591f9c8 100644 --- a/manual/index.html +++ b/manual/index.html @@ -1187,7 +1187,7 @@ key and its value becomes the value,</p> <pre><code>"f o o" as $foo | "b a r" as $bar | {$foo, $bar:$foo} </code></pre> <p>produces</p> -<pre><code>{"f o o":"f o o","b a r":"f o o"} +<pre><code>{"foo":"f o o","b a r":"f o o"} </code></pre> |