Automated deployment: Mon Nov 20 21:05:01 UTC 2023 7ea1543

TUM-Dev · Nov 20, 2023 · f72bb14 · f72bb14
1 parent f322efc
commit f72bb14
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 4 deletions.
diff --git a/all.json b/all.json
diff --git a/all_ref.json b/all_ref.json