User-agent: *
Disallow: /czilla/
Disallow: /lang-cs/
Disallow: /lang-en/
Disallow: /lang-de/
Disallow: /_pretty-source/
Disallow: /_texy/