diff options
| author | worldofpeace <worldofpeace@protonmail.ch> | 2020-04-01 21:25:05 -0400 |
|---|---|---|
| committer | worldofpeace <worldofpeace@protonmail.ch> | 2020-04-01 21:25:05 -0400 |
| commit | af6d2c822c5100965d90754fab29fa45c4ff6df5 (patch) | |
| tree | b3d79eb7df3ffac998af6ee5419795b02c3785c9 /nixos/modules/services/x11/window-managers/default.nix | |
| parent | 88380453337205a65c220f68f8fed3ae1001d9f1 (diff) | |
nixos/none: remove
This windowManager and desktopManager doesn't even have an option to use it. git history suggests to me that there's no way anyone finds this useful anymore.
Diffstat (limited to 'nixos/modules/services/x11/window-managers/default.nix')
| -rw-r--r-- | nixos/modules/services/x11/window-managers/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/nixos/modules/services/x11/window-managers/default.nix b/nixos/modules/services/x11/window-managers/default.nix index 04a9fc46628cf..b32dca52a735e 100644 --- a/nixos/modules/services/x11/window-managers/default.nix +++ b/nixos/modules/services/x11/window-managers/default.nix @@ -35,7 +35,7 @@ in ./wmii.nix ./xmonad.nix ./qtile.nix - ./none.nix ]; + ]; options = { |