diff options
author | worldofpeace <worldofpeace@protonmail.ch> | 2019-09-23 18:51:22 -0400 |
---|---|---|
committer | Jan Tojnar <jtojnar@gmail.com> | 2019-10-03 00:09:15 +0200 |
commit | d6413fc352109896680a3c270640edf3dfd16082 (patch) | |
tree | 10228cbb6b63e7a2f6b0c260f0e1698c683efb18 /pkgs/desktops/gnome-3 | |
parent | 4333119b64b9c712a4133c67321935afa83e5a7c (diff) | |
download | nixlib-d6413fc352109896680a3c270640edf3dfd16082.tar nixlib-d6413fc352109896680a3c270640edf3dfd16082.tar.gz nixlib-d6413fc352109896680a3c270640edf3dfd16082.tar.bz2 nixlib-d6413fc352109896680a3c270640edf3dfd16082.tar.lz nixlib-d6413fc352109896680a3c270640edf3dfd16082.tar.xz nixlib-d6413fc352109896680a3c270640edf3dfd16082.tar.zst nixlib-d6413fc352109896680a3c270640edf3dfd16082.zip |
gnomeExtensions.remove-dropdown-arrows: 11 -> 13
Diffstat (limited to 'pkgs/desktops/gnome-3')
-rw-r--r-- | pkgs/desktops/gnome-3/extensions/remove-dropdown-arrows/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/desktops/gnome-3/extensions/remove-dropdown-arrows/default.nix b/pkgs/desktops/gnome-3/extensions/remove-dropdown-arrows/default.nix index d9ea670db09e..fbbd56f1c0f9 100644 --- a/pkgs/desktops/gnome-3/extensions/remove-dropdown-arrows/default.nix +++ b/pkgs/desktops/gnome-3/extensions/remove-dropdown-arrows/default.nix @@ -2,13 +2,13 @@ stdenv.mkDerivation rec { pname = "gnome-shell-extension-remove-dropdown-arrows"; - version = "11"; + version = "13"; src = fetchFromGitHub { owner = "mpdeimos"; repo = "gnome-shell-remove-dropdown-arrows"; rev = "version/${version}"; - sha256 = "1g99r9bpjdhab3xj74wkl40gdnaf2w51kswcr8mi6bq72n4wjxwh"; + sha256 = "09b2hnfbqym20pb1sfc8xiz7gs2kbs6b1s7xl8swc8dydhsbambk"; }; # This package has a Makefile, but it's used for publishing and linting, not |