dejagnu
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

removing packaging/deb/*


From: Ben Elliston
Subject: removing packaging/deb/*
Date: Mon, 11 Jul 2005 10:03:22 +1000
User-agent: Mutt/1.2.5.1i

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

Attachment: pgplKwJapZmX2.pgp
Description: PGP signature


reply via email to

[Prev in Thread] Current Thread [Next in Thread]