diff options
| author | JJ | 2024-05-20 22:26:39 +0000 |
|---|---|---|
| committer | JJ | 2024-05-20 22:26:39 +0000 |
| commit | 9bbf69870ff0e857156ae2cfa36915cb21f90938 (patch) | |
| tree | a1c91bfcd9739e213dac269e71a1384b10e7b5ab /docs/book | |
| parent | 08439ee27125539e66cac4a6f2ddf6488878a601 (diff) | |
docs: add EXAMPLES.md, minor updates
Diffstat (limited to 'docs/book')
| -rw-r--r-- | docs/book/highlight.js | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/book/highlight.js b/docs/book/highlight.js index 2352580..715d346 100644 --- a/docs/book/highlight.js +++ b/docs/book/highlight.js @@ -5270,6 +5270,7 @@ var hljs = (function () { "const", "lent", "mut", + "varargs", "func", "macro", "type", @@ -5298,8 +5299,7 @@ var hljs = (function () { "return", "raise", "in", - "is", - "type" + "is" ]; const BUILT_INS = [ "stdin", |