diff options
| author | Jan Tojnar <jtojnar@gmail.com> | 2019-11-20 04:25:38 +0100 |
|---|---|---|
| committer | Jan Tojnar <jtojnar@gmail.com> | 2019-11-20 04:58:00 +0100 |
| commit | a7f4c78792b6f105b3c26a9590b5e3f0baaab0f1 (patch) | |
| tree | 12f19e68275ec6f0d9a34818c54935118cb3e16e /nixos/modules/services/x11/desktop-managers | |
| parent | 5b11829a631951db37076f92e1a3672d8f0995f4 (diff) | |
| download | nixlib-a7f4c78792b6f105b3c26a9590b5e3f0baaab0f1.tar nixlib-a7f4c78792b6f105b3c26a9590b5e3f0baaab0f1.tar.gz nixlib-a7f4c78792b6f105b3c26a9590b5e3f0baaab0f1.tar.bz2 nixlib-a7f4c78792b6f105b3c26a9590b5e3f0baaab0f1.tar.lz nixlib-a7f4c78792b6f105b3c26a9590b5e3f0baaab0f1.tar.xz nixlib-a7f4c78792b6f105b3c26a9590b5e3f0baaab0f1.tar.zst nixlib-a7f4c78792b6f105b3c26a9590b5e3f0baaab0f1.zip | |
gnome-user-docs: move to top-level again
Diffstat (limited to 'nixos/modules/services/x11/desktop-managers')
| -rw-r--r-- | nixos/modules/services/x11/desktop-managers/gnome3.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/nixos/modules/services/x11/desktop-managers/gnome3.nix b/nixos/modules/services/x11/desktop-managers/gnome3.nix index 0135ac19cbf7..6725595e1cfd 100644 --- a/nixos/modules/services/x11/desktop-managers/gnome3.nix +++ b/nixos/modules/services/x11/desktop-managers/gnome3.nix @@ -309,7 +309,7 @@ in gnome-shell gnome-shell-extensions gnome-themes-extra - gnome-user-docs + pkgs.gnome-user-docs pkgs.orca pkgs.glib # for gsettings pkgs.gnome-menus |