I would like to delete these files from the source tree. The Debian package maintainer has assured me that he has _never_ used these as the basis for the Debian DejaGnu package. I don't think we should be expending any effort on maintaining files that are already looked after by distro package maintainers.
Ben
pgpkCEKxQWDes.pgp
Description: PGP signature
_______________________________________________ DejaGnu mailing list DejaGnu@gnu.org http://lists.gnu.org/mailman/listinfo/dejagnu
