From 3297edd971b6272081925a53c6bd4a9d960eac56 Mon Sep 17 00:00:00 2001 From: Benjamin Barenblat Date: Thu, 5 Feb 2015 19:05:09 -0500 Subject: Fix minor error in Debian copyright file --- debian/copyright | 1 + 1 file changed, 1 insertion(+) 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. -- cgit v1.2.3