# Webproxies can do whatever they like here.
User-agent: webproxy
Allow: /

User-Agent: *
Disallow: /cgi-bin/ccel.sh?*
Disallow: /cgi-bin/ccel.sh*
Disallow: /cgi-bin/ccel.sh
Disallow: /cgi-bin/gcc.sh/*