diff options
author | Foivos S. Zakkak | 2016-04-18 15:04:53 +0300 |
---|---|---|
committer | Foivos S. Zakkak | 2016-04-18 15:04:53 +0300 |
commit | 5995ffb2a4ad1081897b590c3512cb0b81604d20 (patch) | |
tree | bd0c1c2ab761d52161ae6f7f9012dceb72d83108 /.SRCINFO | |
parent | 827d304a01c8a5d6d6436cb37c1f3fb4bd03f8bb (diff) | |
download | aur-5995ffb2a4ad1081897b590c3512cb0b81604d20.tar.gz |
Install myWorkspaceSwitcherPopup.js as well
Diffstat (limited to '.SRCINFO')
-rw-r--r-- | .SRCINFO | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -1,8 +1,8 @@ # Generated by mksrcinfo v8 -# Tue Apr 12 13:30:15 UTC 2016 +# Mon Apr 18 12:03:32 UTC 2016 pkgbase = gnome-shell-extension-workspace-grid pkgdesc = Allows to configure your workspaces in a grid - pkgver = 1.3.8.13 + pkgver = 1.3.8.15 pkgrel = 1 url = https://github.com/zakkak/workspace-grid-gnome-shell-extension install = gnome-shell-extension-workspace-grid.install |