User-Agent: *
Disallow: /

# Allow mirroring of the wiki using wget

User-Agent: Wget
Disallow: