diff options
| author | Ahmed <git@gumx.cc> | 2026-06-20 00:07:58 +0300 |
|---|---|---|
| committer | Ahmed <git@gumx.cc> | 2026-06-20 00:07:58 +0300 |
| commit | f0b79f27b7f17e3862285e01b71aad30cb25cd89 (patch) | |
| tree | 47b3e67d55a98c089ce16d77cb55ff04f5f3b216 /spec/scripts/gen_ebnf.py | |
| parent | ba5a9613f6c5b7d9b5f7eb7add147a9bdb8b6a44 (diff) | |
fix: bunch of vibed edits to fix vibed edits
Diffstat (limited to 'spec/scripts/gen_ebnf.py')
| -rw-r--r-- | spec/scripts/gen_ebnf.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/spec/scripts/gen_ebnf.py b/spec/scripts/gen_ebnf.py index 65824bd..990ae07 100644 --- a/spec/scripts/gen_ebnf.py +++ b/spec/scripts/gen_ebnf.py @@ -21,7 +21,7 @@ def main(): fields = reg["fields"] lines = [] - lines.append("/* UGI Grammar v0 — W3C EBNF */") + lines.append("/* UGI Grammar v0: W3C EBNF */") lines.append("/* Generated from ugi_registry_v0.json */") lines.append("/* Compatible with bottlecaps.de/rr/ui */") lines.append("") @@ -82,7 +82,7 @@ def main(): has_aspire = mods.get("aspire", False) has_alt = mods.get("alternative", False) - lines.append(f"/* {code} — {f['name']} ({ftype}) */") + lines.append(f"/* {code}: {f['name']} ({ftype}) */") if ftype == "direct": mod_parts = [] |