aboutsummaryrefslogtreecommitdiff
path: root/modules/global.nix
diff options
context:
space:
mode:
Diffstat (limited to 'modules/global.nix')
-rw-r--r--modules/global.nix2
1 files changed, 1 insertions, 1 deletions
diff --git a/modules/global.nix b/modules/global.nix
index 1e5bfb8..3dfae3e 100644
--- a/modules/global.nix
+++ b/modules/global.nix
@@ -99,7 +99,7 @@ in
nerd-fonts.comic-shanns-mono
eza
ripgrep
- lean4
+ elan
dmenu
berkeley-mono
] ++ (lib.optional cfg.notNixOS nixgl.auto.nixGLDefault)