Reduce size of images/gifs in docs folder

- Fixes #568 - Record gifs more quickly/directly Signed-off-by: Roland Grunberg <[email protected]>
redhat-developer · Aug 26, 2021 · 277d05c · 277d05c
1 parent 5f56d3a
commit 277d05c
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 0 deletions.
diff --git a/docs/images/Features/SelectionRange.gif b/docs/images/Features/SelectionRange.gif
diff --git a/docs/images/Validation/ExternalEntityResolvingDemonstration.gif b/docs/images/Validation/ExternalEntityResolvingDemonstration.gif