Update generated files

jstrieb · Oct 31, 2023 · d9d81d1 · d9d81d1
1 parent 9240a78
commit d9d81d1
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/generated/overview.svg b/generated/overview.svg