blob: 2d9d535727969ff88e120b6e8dd8ba47fd035b6a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
# Generated by mksrcinfo v8
# Sun Nov 20 22:10:50 UTC 2016
pkgbase = gnome-shell-extension-pixel-saver
pkgdesc = Saves pixels by fusing activity bar and title bar in a natural way
pkgver = 1.10
pkgrel = 1
url = https://github.com/deadalnix/pixel-saver
install = gnome-shell-extension-pixel-saver.install
arch = any
license = MIT
depends = gnome-shell
depends = xorg-xprop
source = https://github.com/deadalnix/pixel-saver/archive/1.10.tar.gz
sha256sums = fbf0bb0d2b937d5374257f55766e7479885584aa8dbeb3807410f5209ab8b9b5
pkgname = gnome-shell-extension-pixel-saver
|