blob: 361bd5fb9b0cdeb2085986ece2ba0debdeef3864 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
pkgbase = gnome-shell-extension-remove-dropdown-arrows-git
pkgdesc = Removes dropdown arrows from Top Bar menus which were introduced in Gnome 3.10.
pkgver = 8
pkgrel = 1
url = https://github.com/mpdeimos/gnome-shell-remove-dropdown-arrows#branch=master
install = notice.install
arch = any
license = GPLv3
makedepends = git
depends = gnome-shell
provides = gnome-shell-extension-remove-dropdown-arrows=8
conflicts = gnome-shell-extension-remove-dropdown-arrows
source = gnome-shell-extension-remove-dropdown-arrows::git+https://github.com/mpdeimos/gnome-shell-remove-dropdown-arrows#branch=master
md5sums = SKIP
sha256sums = SKIP
pkgname = gnome-shell-extension-remove-dropdown-arrows-git
|