Merge remote-tracking branch 'origin/master'

# Conflicts: # infra/readme.md
2026-02-18 21:09:24 +01:00
parent c1d00dcdc4 a77c1d1f13
commit d6d2aa8efe
10 changed files with 3436 additions and 0 deletions
--- a/web/src/web/init.py
+++ b/web/src/web/init.py
@@ -0,0 +1,2 @@
+def main() -> None:
+    print("Hello from web!")