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 /PKGBUILD | |
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 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -5,7 +5,7 @@ # You may find it convenient to file issues and pull requests there. pkgname=gnome-shell-extension-mediaplayer-git -pkgver=0.1 +pkgver=0.2 pkgrel=1 pkgdesc='A mediaplayer indicator for the Gnome Shell' arch=('any') |