# lol, a server with a robots.txt! what a shit!
User-agent: *
Disallow: /tools/*