User-agent: *

Disallow: /tendermania/

Disallow: /smart/

Disallow: /changelinks/

Disallow: /dbadmin/

Disallow: /cgi-bin/