blob: afdb6f536bd24eae45553e8597628b1a79424364 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
# Generated by mksrcinfo v8
# Mon Jun 20 17:25:44 UTC 2016
pkgbase = gnome-shell-extension-pixel-saver
pkgdesc = Saves pixels by fusing activity bar and title bar in a natural way
pkgver = 1.8
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.8.tar.gz
sha256sums = 3665c386af81690040eff8a0460a08656cb7e519b075989ede6290fc40604e68
pkgname = gnome-shell-extension-pixel-saver
|