Closed JulianGro closed 3 years ago
Closes #74
@kasenvr apparently I borked the history by rebasing on master. 18cccaa is the latest commit and has already been approved by @ctrlaltdavid
After the merge conflict is solved and suggestion is applied, this can be merged with follow-up review on PR #105 to apply anything left.
This PR adds a video module (thanks to Madders for that) Currently this saves 137MiB as oppose to using gifs, while also allowing the use of audio and longer animations.
Specifically it changes:
No warnings are generated that mention pages edited in this PR. A build of this PR (currently 756d53d) can be viewed here: http://94.130.177.235/sphinx/%2372/