vincent/gnome-shell-extension-pop-shell-git
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

update

Browse Source
This commit is contained in:
vincent 2020-12-12 09:27:26 +01:00
parent de871ab81d
commit 130f8db7b5
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.SRCINFO
View File

@ -1,6 +1,6 @@
pkgbase = gnome-shell-extension-pop-shell-git pkgbase = gnome-shell-extension-pop-shell-git
pkgdesc = Pop Shell - Tiling window management in Gnome (WIP) pkgdesc = Pop Shell - Tiling window management in Gnome (WIP)
pkgver = r611.b5ed270 pkgver = r621.d72a2f3
pkgrel = 1 pkgrel = 1
url = https://github.com/pop-os/shell url = https://github.com/pop-os/shell
install = pop-shell.install install = pop-shell.install

2
PKGBUILD
View File

@ -1,7 +1,7 @@
# Maintainer: Vincent.Ducamps <aur@ducamps.win> # Maintainer: Vincent.Ducamps <aur@ducamps.win>
pkgname=gnome-shell-extension-pop-shell-git pkgname=gnome-shell-extension-pop-shell-git
pkgdesc="Pop Shell - Tiling window management in Gnome (WIP)" pkgdesc="Pop Shell - Tiling window management in Gnome (WIP)"
pkgver=r611.b5ed270 pkgver=r621.d72a2f3
pkgrel=1 pkgrel=1
_gitorg=pop-os _gitorg=pop-os
_gitname=shell _gitname=shell