Index: nodes/CNodeLMdorp/wleiden.conf
===================================================================
--- nodes/CNodeLMdorp/wleiden.conf	(revision 4998)
+++ nodes/CNodeLMdorp/wleiden.conf	(revision 6387)
@@ -34,6 +34,4 @@
 #DHCP=68-70
 DHCP=no
-OSPF_BROADCAST=no
-OSPF_NEIGHBORS=no
 
 ED0
@@ -49,6 +47,4 @@
 DHCP=10-60
 
-OSPF_BROADCAST=no
-OSPF_NEIGHBORS=no
 
 MODE=master
@@ -73,6 +69,4 @@
 POINT_TO_POINT=172.16.1.193
 
-OSPF_BROADCAST=no
-OSPF_NEIGHBORS=172.16.1.193
 
 MODE=managed