diff options
| author | XZS | 2019-11-14 01:24:42 +0100 |
|---|---|---|
| committer | XZS | 2019-11-14 01:24:42 +0100 |
| commit | 3d4e471554087543e9ef3a8683a7e622bc03b9d8 (patch) | |
| tree | 43151ae76572851fdf4966171478dac9fa8440e0 /PKGBUILD | |
| parent | 955156fde3c1a56ac392cf609b6fd6cb5ef5863c (diff) | |
| download | aur-3d4e471554087543e9ef3a8683a7e622bc03b9d8.tar.gz | |
propagate upstream update
The extension is now compatible only to the recent gnome-shell version
3.34. API changes in gnome-shell were adapted to and code subsequently
modernized.
Icons for removable devices and the trash can now be added to the dock.
Diffstat (limited to 'PKGBUILD')
| -rw-r--r-- | PKGBUILD | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -6,7 +6,7 @@ # You may find it convenient to file issues and pull requests there. pkgname=gnome-shell-extension-dash-to-dock-git -pkgver=66 +pkgver=67 pkgrel=1 pkgdesc="move the dash out of the overview transforming it in a dock" arch=('any') |