# /robots.txt for www.bruker-biospin.com
#
User-agent: *
Disallow: /cgi-bin
Disallow: /shell