User-agent: * Disallow: /diff.php Disallow: /tree.php