/share/debian-edu-config/

• ../
• tools