Update generated files

jstrieb · Oct 5, 2023 · 84dcd77 · 84dcd77
1 parent f3fb02e
commit 84dcd77
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/generated/overview.svg b/generated/overview.svg