diff options
| author | XZS | 2016-03-23 21:06:38 +0100 |
|---|---|---|
| committer | XZS | 2016-03-23 21:06:38 +0100 |
| commit | 94dbeaebcb9e2c4a6fd808abf55494865157c540 (patch) | |
| tree | 0e5c667730e70a9d65083d02e3fd15b86874a3a2 /.SRCINFO | |
| parent | e69e6cfb8b5286bd9122f993ef1ab821dcf44786 (diff) | |
| download | aur-94dbeaebcb9e2c4a6fd808abf55494865157c540.tar.gz | |
propagate upstream update
Apart from translation updates, the intellihide machinery has been
optimized. The extension can now also be active with full screen windows
and supports the upcoming gnome-shell version 3.20.
Fortunately, the same dash-to-dock release applies to gnome-shell 3.18
and 3.20 as well. This provides the hopeful perspective that transition
will be effortless when the next stable shell version hits the Arch
Linux repositories.
Diffstat (limited to '.SRCINFO')
| -rw-r--r-- | .SRCINFO | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -1,7 +1,7 @@ pkgbase = gnome-shell-extension-dash-to-dock-git pkgdesc = move the dash out of the overview transforming it in a dock for an easier launching of applications and a faster switching between windows and desktops - pkgver = 50 - pkgrel = 3 + pkgver = 53 + pkgrel = 1 url = https://micheleg.github.io/dash-to-dock/ install = gschemas.install arch = any @@ -10,7 +10,7 @@ pkgbase = gnome-shell-extension-dash-to-dock-git makedepends = git depends = dconf depends = gnome-shell - provides = gnome-shell-extension-dash-to-dock=50 + provides = gnome-shell-extension-dash-to-dock=53.r0.g1452801 conflicts = gnome-shell-extension-dash-to-dock source = gnome-shell-extension-dash-to-dock::git+https://github.com/micheleg/dash-to-dock/ md5sums = SKIP |