chore: merge main

This commit is contained in:
jamesread
2025-08-03 22:17:35 +01:00
10 changed files with 467 additions and 206 deletions

View File

@@ -44,6 +44,10 @@ class ArgumentForm extends window.HTMLElement {
}
}
if (arg.name === "") {
continue
}
ret.push({
name: arg.name,
value: arg.value