# While I would rather not have the contents of this web site indexed
# by search engines (it is, after all, just a distribution site for
# software I maintain, and is subject to change), everyone is free to
# mirror the contents of this site.

User-agent: *
Disallow: /