This repository has been archived by the owner on Jun 7, 2019. It is now read-only.

gnome-shell-extensions-mediaplayer

THIS EXTENSION HAS BEEN RETIRED and the repository has been archived.

If you wish to take over maintership please contact the owner of this repo.