From 3933c5303131069664915ea464bab4bc48f5bab6 Mon Sep 17 00:00:00 2001
From: Xianjun Jiao <xianjun.jiao@ugent.be>
Date: Tue, 17 Jan 2023 14:28:23 +0100
Subject: [PATCH] Remove unnecessary line from dhcpd.conf

---
 user_space/dhcpd.conf | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/user_space/dhcpd.conf b/user_space/dhcpd.conf
index 9cf974a..09c6220 100644
--- a/user_space/dhcpd.conf
+++ b/user_space/dhcpd.conf
@@ -13,7 +13,7 @@
 ddns-update-style none;
 
 # option definitions common to all supported networks...
-option domain-name "orca-project.eu";
+# option domain-name "orca-project.eu";
 #option domain-name-servers ns1.example.org, ns2.example.org;
 
 default-lease-time 600;