Convert demo video to mp4 for GitHub embedding

This commit is contained in:
Sebastian Palencsar
2026-05-25 13:40:48 +02:00
parent 2d88a24851
commit 06792ae33f
3 changed files with 1 additions and 1 deletions

Binary file not shown.

Binary file not shown.