User-agent: *
Disallow: /code-editor-alt.php
Disallow: /404.php
Disallow: /noreset.php
Disallow: /util/