-##
-## THIS FILE IS UNDER PUPPET CONTROL. DON'T EDIT IT HERE.
-## USE: git clone git+ssh://$USER@puppet.debian.org/srv/puppet.debian.org/git/dsa-puppet.git
-##
-## Format:
-## domain: hostname[::port] options
-## example:
-## buildd.debian.org: raff.debian.org::587 byname
-
-finzi.debian.org: [172.17.12.2]::25
-fano.debian.org: [172.17.12.3]::25