Andre Berger Wed, 06 Sep 2000 06:55:36 -0500
Is there anything like apt-get dist-downgrade? -- Andre
