From 52264d4a1f2288b4dfdf5a9447941e87ccda9817 Mon Sep 17 00:00:00 2001
From: Pim Kunis <pim@kunis.nl>
Date: Sat, 30 Nov 2024 22:53:01 +0100
Subject: [PATCH] Remove migrated Warwick server

---
 machines/default.nix | 1 -
 1 file changed, 1 deletion(-)

diff --git a/machines/default.nix b/machines/default.nix
index 74151fb..eb60ba5 100644
--- a/machines/default.nix
+++ b/machines/default.nix
@@ -3,6 +3,5 @@
     atlas = import ./atlas;
     jefke = import ./jefke;
     lewis = import ./lewis;
-    warwick = import ./warwick;
   };
 }