diff Copyright @ 19264:3826d2cfa4b0

There is a reference to a file COPYRIGHT that we do not include, so paste the contents of COPYRIGHT into the file header.
author diego
date Sun, 30 Jul 2006 22:17:25 +0000
parents 46512ecfc11e
children 64d82a45a05d
line wrap: on
line diff