Reduce size of images/gifs in docs folder

- Fixes redhat-developer#568 - Record gifs more quickly/directly Signed-off-by: Roland Grunberg <rgrunber@redhat.com>
rgrunber · Aug 31, 2021 · 064a9f0 · 064a9f0
1 parent 5f56d3a
commit 064a9f0
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