##
## 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