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."; |