From 847f120ab4eba052d83e6536a091ec2211fb0967 Mon Sep 17 00:00:00 2001
From: Sebastian Harl <sh@tokkee.org>
Date: Fri, 10 Aug 2007 16:13:09 +0200
Subject: [PATCH] Added pointer to AUTHORS in debian/copyright.

---
 debian/copyright | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/debian/copyright b/debian/copyright
index 477c4c8..9eb311d 100644
--- a/debian/copyright
+++ b/debian/copyright
@@ -6,6 +6,8 @@ It was downloaded from <http://www.mpi-inf.mpg.de/resources/tmo/>.
 Upstream Author:
 	Grzegorz Krawczyk <krawczyk@mpi-sb.mpg.de>
 
+	For contributions, see AUTHORS.
+
 Copyright Holders:
 	Grzegorz Krawczyk <krawczyk@mpi-sb.mpg.de>
 	University of Utah
-- 
2.30.2