comparison TOOLS/vivodump.c @ 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 fa17424b4c7b
children b5e31dca2b0b
comparison
equal deleted inserted replaced
19263:a0065277d581 19264:3826d2cfa4b0