Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[Doc] Convert GIF files to WebM #8767

Merged
merged 10 commits into from
Apr 26, 2023
Merged

[Doc] Convert GIF files to WebM #8767

merged 10 commits into from
Apr 26, 2023

Commits on Apr 7, 2023

  1. improve gif quality and fix simple-list.webm height

    @slax57
    slax57 committed Apr 7, 2023
    Configuration menu
    Copy the full SHA
    638a219 View commit details
    Browse the repository at this point in the history

  2. delete gif files

    @slax57
    slax57 committed Apr 7, 2023
    Configuration menu
    Copy the full SHA
    ce9974e View commit details
    Browse the repository at this point in the history

  3. fix missing html closing tag

    @slax57
    slax57 committed Apr 7, 2023
    Configuration menu
    Copy the full SHA
    d016758 View commit details
    Browse the repository at this point in the history

  4. fix extra opening bracket

    @slax57
    slax57 committed Apr 7, 2023
    Configuration menu
    Copy the full SHA
    a3d16d7 View commit details
    Browse the repository at this point in the history

  5. Fix TimeInput table

    @slax57
    slax57 committed Apr 7, 2023
    Configuration menu
    Copy the full SHA
    4769816 View commit details
    Browse the repository at this point in the history

  6. rename to v15

    @slax57
    slax57 committed Apr 7, 2023
    Configuration menu
    Copy the full SHA
    2042b91 View commit details
    Browse the repository at this point in the history

Commits on Apr 11, 2023

  1. Merge remote-tracking branch 'origin/master' into gif-to-webm

    @slax57
    slax57 committed Apr 11, 2023
    Configuration menu
    Copy the full SHA
    fcf76b9 View commit details
    Browse the repository at this point in the history

  2. fix stylesheet link

    @slax57
    slax57 committed Apr 11, 2023
    Configuration menu
    Copy the full SHA
    1220397 View commit details
    Browse the repository at this point in the history

Commits on Apr 25, 2023

  1. better optimize webm files

    @slax57
    slax57 committed Apr 25, 2023
    Configuration menu
    Copy the full SHA
    68cc631 View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'origin/master' into gif-to-webm

    @slax57
    slax57 committed Apr 25, 2023
    Configuration menu
    Copy the full SHA
    8ab5ea5 View commit details
    Browse the repository at this point in the history