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

update to r587.ecc9b38

Browse Source
This commit is contained in:
vincent 2020-10-31 15:37:31 +01:00
parent 83cf9e6a9c
commit 55fd990e04
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 = r578.a11d3c3 pkgver = r587.ecc9b38
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=r578.a11d3c3 pkgver=r587.ecc9b38
pkgrel=1 pkgrel=1
_gitorg=pop-os _gitorg=pop-os
_gitname=shell _gitname=shell