1 files changed, 0 insertions, 1 deletions
diff --git a/shell.nix b/shell.nix
index f3978bd69e1b..674ae1da08b7 100644
--- a/shell.nix
+++ b/shell.nix
@@ -10,5 +10,4 @@ pkgs.mkShell rec {
   NIX_PATH="nixpkgs=${NIXPKGS}:depot=${DEPOT}:briefcase=${BRIEFCASE}";
   DESKTOP = "zeno.lon.corp.google.com";
   LAPTOP = "seneca";
-  CLOUDTOP = "wpcarro.c.googlers.com";
 }