diff options
author | Marcus Behrendt | 2021-04-13 21:51:07 +0200 |
---|---|---|
committer | Marcus Behrendt | 2021-04-13 21:51:07 +0200 |
commit | 519055e745befaa50990463dfb2a874d54d16e2f (patch) | |
tree | 4f313b53843956ecef6b497f6077a17b44b2de55 /.SRCINFO | |
parent | bfcda6196a53ddbfe0fa2cbe7a91e68716da2451 (diff) | |
download | aur-gnome-shell-extension-remove-dropdown-arrows.tar.gz |
enable use in gnome 40
Diffstat (limited to '.SRCINFO')
-rw-r--r-- | .SRCINFO | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,7 +1,7 @@ pkgbase = gnome-shell-extension-remove-dropdown-arrows pkgdesc = Removes the dropdown arrows from the AppMenu and SystemMenu pkgver = 13 - pkgrel = 1 + pkgrel = 2 url = https://github.com/mpdeimos/gnome-shell-remove-dropdown-arrows install = gnome-shell-extension-remove-dropdown-arrows.install arch = any |