docs: use MP4 format of video to display video

ASSERT-KTH · Nov 3, 2022 · e180eba · e180eba
1 parent adb96cd
commit e180eba
Show file tree

Hide file tree

Showing 3 changed files with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -53,7 +53,7 @@ git diff
 
 You may also see the demo video:
 
-![demo-video](readme_assets/sorald-demo.mov)
+![demo-video](readme_assets/sorald-demo.mp4)
 
 ### Getting a Sorald JAR
 

diff --git a/readme_assets/sorald-demo.mov b/readme_assets/sorald-demo.mov
diff --git a/readme_assets/sorald-demo.mp4 b/readme_assets/sorald-demo.mp4