diff options
Diffstat (limited to 'users/aspen')
| -rw-r--r-- | users/aspen/system/home/modules/development.nix | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/users/aspen/system/home/modules/development.nix b/users/aspen/system/home/modules/development.nix index 2695b0fc8816..31194176639d 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 |