blob: 9769a38db20858a584150928e512f5a6691fbb75 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
# Generated by mksrcinfo v8
# Fri Sep 23 08:42:06 UTC 2016
pkgbase = gnome-shell-extension-pixel-saver
pkgdesc = Saves pixels by fusing activity bar and title bar in a natural way
pkgver = 1.9
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.9.tar.gz
sha256sums = f41b0a78f41610dd1b9b42eba956dffa6a3e168984cee232f8b3cc61716c5074
pkgname = gnome-shell-extension-pixel-saver
|