Index: nodes/CNodeBroekplein/wleiden.conf
===================================================================
--- nodes/CNodeBroekplein/wleiden.conf	(revision 5984)
+++ nodes/CNodeBroekplein/wleiden.conf	(revision 6387)
@@ -33,6 +33,4 @@
 DHCP=70-78
 
-OSPF_BROADCAST=no
-OSPF_NEIGHBORS=no
 
 ED0
@@ -49,6 +47,4 @@
 DHCP=10-60
 
-OSPF_BROADCAST=no
-OSPF_NEIGHBORS=no
 
 MODE=master
@@ -75,6 +71,4 @@
 POINT_TO_POINT=172.16.1.49
 
-OSPF_BROADCAST=no
-OSPF_NEIGHBORS=172.16.1.49
 
 MODE=managed