PPA release of 3_31_00_02 and update debian copyright
-rw-r--r-- 205 Makefile
drwxr-xr-x - debian
-rwxr-xr-x 728 make_debian_tarball.sh