summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKyle Robbertze <krobbertze@gmail.com>2018-11-26 15:36:15 +0200
committerKyle Robbertze <krobbertze@gmail.com>2018-11-26 15:36:15 +0200
commitf8a7d924f3166dd1db9a2efe7f99bc14ea5bee49 (patch)
tree3dff42eea82da0d2c2f416e0ffc6e6eb34b6ab66
parent2391e0859075e89fb69ee5325c7d96baac0adc07 (diff)
Remove copyright attached to deleted files
-rw-r--r--debian/copyright5
1 files changed, 0 insertions, 5 deletions
diff --git a/debian/copyright b/debian/copyright
index 5a18db2..c9c6c75 100644
--- a/debian/copyright
+++ b/debian/copyright
@@ -10,11 +10,6 @@ Files: src/*
Copyright: 2003-2010 Savonet Team <savonet-users@lists.sourceforge.net>
License: GPL-2+
-Files: src/pa_duppy.ml
-Copyright: 2009 Jeremie Dimino
- 2010 Romain Beauxis <toots@rastageeks.org>
-License: LGPL-2.1+
-
Files: m4/ocaml.m4
Copyright: 2009 Richard W.M. Jones
2009 Stefano Zacchiroli