Reduce size of images/gifs in docs folder

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

Hide file tree

Showing 4 changed files with 0 additions and 0 deletions.
diff --git a/docs/images/CodeLens/XSDTypeCodeLens.gif b/docs/images/CodeLens/XSDTypeCodeLens.gif
diff --git a/docs/images/Features/SelectionRange.gif b/docs/images/Features/SelectionRange.gif
diff --git a/docs/images/Preferences/HoverDocumentationQuickDemo.gif b/docs/images/Preferences/HoverDocumentationQuickDemo.gif
diff --git a/docs/images/Validation/ExternalEntityResolvingDemonstration.gif b/docs/images/Validation/ExternalEntityResolvingDemonstration.gif