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