diff TOOLS/x2mpsub.sh @ 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 2c6c21e1a1a1
children
line wrap: on
line diff