update cli code

2026-10-29 08:12:56 +00:00 · 2024-04-27 18:54:10 +02:00
parent 982c4c439e
commit 0d27df3dec
8 changed files with 14 additions and 19 deletions
@@ -129,7 +129,7 @@ function ZipFSElement(zip: JSZip, useYaml: boolean): DynFSElement {
    const seen_names = new Set<string>();
    function assignPath(
      summary: string | undefined,
-      language: RawScript.language
+      language: RawScript["language"]
    ): string {
      let name;