diff options
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -6,8 +6,8 @@ # You may find it convenient to file issues and pull requests there. pkgname=gnome-shell-extension-mediaplayer-git -pkgver=3.0 -pkgrel=2 +pkgver=3.1 +pkgrel=1 pkgdesc='A mediaplayer indicator for the Gnome Shell' arch=('any') url='https://github.com/JasonLG1979/gnome-shell-extensions-mediaplayer' |