From 582822cd5b9a5a11c227d7438670a08da8d1d012 Mon Sep 17 00:00:00 2001
From: goeranh <goeranh@goeranh.de>
Date: Mon, 20 Apr 2026 09:45:47 +0200
Subject: [PATCH] remove explicit proxy, its in this flake

---
 hosts/proxy/default.nix | 7 -------
 1 file changed, 7 deletions(-)

diff --git a/hosts/proxy/default.nix b/hosts/proxy/default.nix
index 2400a9a..1d79967 100644
--- a/hosts/proxy/default.nix
+++ b/hosts/proxy/default.nix
@@ -170,13 +170,6 @@
           httpsPort = 443;
           sendProxy = false;
         };
-        pro = {
-          dest = "141.56.51.15";
-          domain = "pro.htw.stura-dresden.de";
-          httpPort = 80;
-          httpsPort = 443;
-          sendProxy = false;
-        };
         wiki = {
           dest = "141.56.51.13";
           domain = "wiki.htw.stura-dresden.de";