/puppet/modules/jenkins_server/manifests/

• ../
• debian.pp
• init.pp
• plugin.pp
• zip_plugin.pp