Merge branch 'main' into issue-571-users-guide

nasa · Jan 22, 2025 · d1d7747 · d1d7747
2 parents 711a3fc + 9ef879c
commit d1d7747
Show file tree

Hide file tree

Showing 15 changed files with 681 additions and 74 deletions.
diff --git a/docs/code-prettify/run_prettify.js b/docs/code-prettify/run_prettify.js
@@ -449,15 +449,19 @@ var IN_GLOBAL_SCOPE = false;
           "input," +
           "instance," +
           "internal," +
+          "level," +
           "locate," +
           "low," +
           "machine," +
           "match," +
           "module," +
+          "omit," +
           "on," +
           "opcode," +
           "orange," +
           "output," +
+          "packet," +
+          "packets," +
           "param," +
           "passive," +
           "phase," +