diff options
| author |  Benjamin Barenblat <bbaren@mit.edu> | 2015-02-05 19:05:09 -0500 |
|---|---|---|
| committer | Benjamin Barenblat <bbaren@mit.edu> | 2015-02-05 21:43:08 -0500 |
| commit | 3297edd971b6272081925a53c6bd4a9d960eac56 (patch) | |
| tree | f63408a4cd1d2f7aa05009c1432cbcc851f0feb4 /debian/copyright | |
| parent | 37d81d90383efeff21d6e3ad97fd1c9c40906d78 (diff) | |
Fix minor error in Debian copyright file
Diffstat (limited to 'debian/copyright')
| -rw-r--r-- | debian/copyright | 1 |
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. |