diff --git a/users/aspen/system/home/modules/development.nix b/users/aspen/system/home/modules/development.nix index 2695b0fc8..311941766 100644 --- a/users/aspen/system/home/modules/development.nix +++ b/users/aspen/system/home/modules/development.nix @@ -32,7 +32,6 @@ with lib; { imports = [ ./lib/zshFunctions.nix - ./development/kube.nix # TODO(aspen): agda build is broken in the nixpkgs checkout # ./development/agda.nix ./development/rust.nix