Skip to content
This repository has been archived by the owner on Feb 22, 2023. It is now read-only.

[video_player] Migrate deprecated api #3409

Merged
merged 3 commits into from
Jan 13, 2021
Merged

Commits on Jan 12, 2021

  1. Migrate deprecated api

    Piinks committed Jan 12, 2021
    Configuration menu
    Copy the full SHA
    e2844a0 View commit details
    Browse the repository at this point in the history
  2. ++

    Piinks committed Jan 12, 2021
    Configuration menu
    Copy the full SHA
    0095d68 View commit details
    Browse the repository at this point in the history

Commits on Jan 13, 2021

  1. Fix formatting

    Piinks committed Jan 13, 2021
    Configuration menu
    Copy the full SHA
    42be66d View commit details
    Browse the repository at this point in the history