src/debian-edu-config/etc/dhcp3
