# HG changeset patch
# User pl
# Date 1021378532 0
# Node ID a44bc6314a3055d2663e8a2d9d97a215acc6365f
# Parent  39c2bfe5c267e25e7f26fd873c0e76e538a013c0
patch by Diego Biurrun <diego@biurrun.de>:
- binary distribution is now allowed

diff -r 39c2bfe5c267 -r a44bc6314a30 debian/copyright
--- a/debian/copyright	Tue May 14 11:41:02 2002 +0000
+++ b/debian/copyright	Tue May 14 12:15:32 2002 +0000
@@ -6,6 +6,3 @@
 Copyrighted by various authors. Licensed under the terms of GNU GPL.
 See /usr/share/common-licenses/GPL for details.
 
-This package may not be distributed in binary form.  Debian packaging
-in provided for convenience only.
-