src/debian-edu-config/etc/debian-edu
