Convert GIF animations to MP4 for smaller file sizes#259

danabauer merged 1 commit intomainOvertureMaps/docs:mainfrom

gif-to-mp4-conversionOvertureMaps/docs:gif-to-mp4-conversionCopy head branch name to clipboard