blob: d312a2883a7b554248daebd6b0ddc993d9da7680 (
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 = 7
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=7
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
|