Replacing gif to a video format

opengisch · Apr 23, 2024 · 2d1f95c · 2d1f95c
1 parent bce9af5
commit 2d1f95c
Show file tree

Hide file tree

Showing 3 changed files with 1 addition and 1 deletion.
diff --git a/documentation/assets/images/erasing-tool-feature.gif b/documentation/assets/images/erasing-tool-feature.gif
diff --git a/documentation/assets/videos/new-erase-reshape-tool.webm b/documentation/assets/videos/new-erase-reshape-tool.webm
diff --git a/documentation/how-to/digitize.en.md b/documentation/how-to/digitize.en.md
@@ -134,7 +134,7 @@ The reshape eraser tool is a feature in the geometry editor, designed to facilit
 
 Suppose you have a polygon representing a building footprint, but there's an unwanted protrusion. You can use the erase tool to precisely remove that portion of the polygon, ensuring accuracy in your geometry representation.
 
-!![](../assets/images/erasing-tool-feature.gif)
+![type:video](../assets/videos/new-erase-reshape-tool.webm)
 
 ### Ring tool