/etc/debian-edu/

• ../
• itzks-puppetserver-fixed-puppet-hosts
• itzks.config