diff options
| author | XZS | 2017-09-28 14:27:47 +0200 |
|---|---|---|
| committer | XZS | 2017-09-28 14:27:47 +0200 |
| commit | 5d1c238d4d6e780144cd6824dd71aab567ff4fdb (patch) | |
| tree | fcfaefab41554ea25b9e4b7cb9425f5a327ce36d /.SRCINFO | |
| parent | 77cb9f9423ef06cc3763d5268710ce54b2c3248d (diff) | |
| download | aur-5d1c238d4d6e780144cd6824dd71aab567ff4fdb.tar.gz | |
propagate upstream update
HiDPI support improved, the extension better adheres to shell themes and
various players were adjusted for. In addition, efficiency was greatly
improved by solely reacting to events instead of querying for changes.
Diffstat (limited to '.SRCINFO')
| -rw-r--r-- | .SRCINFO | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -1,6 +1,6 @@ pkgbase = gnome-shell-extension-mediaplayer-git pkgdesc = A mediaplayer indicator for the Gnome Shell - pkgver = 0.1 + pkgver = 0.2 pkgrel = 1 url = https://github.com/eonpatapon/gnome-shell-extensions-mediaplayer install = gschemas.install @@ -11,7 +11,7 @@ pkgbase = gnome-shell-extension-mediaplayer-git makedepends = git depends = gnome-shell optdepends = mpdris2-git: MPD support - provides = gnome-shell-extension-mediaplayer=0.1 + provides = gnome-shell-extension-mediaplayer=0.2 conflicts = gnome-shell-extension-mediaplayer source = gnome-shell-extension-mediaplayer::git+https://github.com/eonpatapon/gnome-shell-extensions-mediaplayer md5sums = SKIP |