summaryrefslogtreecommitdiff
path: root/debian/copyright
diff options
context:
space:
mode:
authorGravatar Benjamin Barenblat <bbaren@mit.edu>2015-02-05 19:05:09 -0500
committerGravatar Benjamin Barenblat <bbaren@mit.edu>2015-02-05 21:43:08 -0500
commit3297edd971b6272081925a53c6bd4a9d960eac56 (patch)
treef63408a4cd1d2f7aa05009c1432cbcc851f0feb4 /debian/copyright
parent37d81d90383efeff21d6e3ad97fd1c9c40906d78 (diff)
Fix minor error in Debian copyright file
Diffstat (limited to 'debian/copyright')
-rw-r--r--debian/copyright1
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/copyright b/debian/copyright
index 7808079..8a531ed 100644
--- a/debian/copyright
+++ b/debian/copyright
@@ -184,6 +184,7 @@ Copyright: 1996-2001 MPI für Informatik
License: GPL-2+
Files: test/spass/COPYING
+Copyright: 1989, 1991 Free Software Foundation, Inc.
License: FSF-simple
Everyone is permitted to copy and distribute verbatim copies of this license
document, but changing it is not allowed.