Convert animated GIFs to MP4 to cut file size (#119)#125

jonfroehlich merged 1 commit into

mainmakeabilitylab/physcomp:mainfrom

chore/gif-to-mp4makeabilitylab/physcomp:chore/gif-to-mp4Copy head branch name to clipboard