diff options
author | Luca Bruno <lucabru@src.gnome.org> | 2016-06-07 14:23:08 +0200 |
---|---|---|
committer | Luca Bruno <lucabru@src.gnome.org> | 2016-06-07 14:23:08 +0200 |
commit | a72aba8c30a8bc75e6350dc2d3efb279e38fb9b2 (patch) | |
tree | 018bc821504955d91389bcc39496477a8d9ba782 /nixos/modules | |
parent | ae1e12f72550b0fc01159a3493e7a56d99a668cb (diff) | |
parent | da62589d8eb1efbb4bb51e165cbbe4c1a5d964ea (diff) |
Merge pull request #14366 from NixOS/gnome-3.20
gnome3.20: init at 3.20.0
Diffstat (limited to 'nixos/modules')
-rw-r--r-- | nixos/modules/services/x11/desktop-managers/gnome3.nix | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/nixos/modules/services/x11/desktop-managers/gnome3.nix b/nixos/modules/services/x11/desktop-managers/gnome3.nix index b8d19eb80c859..91601f387cbe9 100644 --- a/nixos/modules/services/x11/desktop-managers/gnome3.nix +++ b/nixos/modules/services/x11/desktop-managers/gnome3.nix @@ -81,7 +81,6 @@ in { }; environment.gnome3.packageSet = mkOption { - type = types.nullOr types.package; default = null; example = literalExample "pkgs.gnome3_18"; description = "Which GNOME 3 package set to use."; |