From: Bruno Haible Date: Sun, 12 Jul 2020 20:23:30 +0000 (+0200) Subject: Add a copyright header. X-Git-Tag: v1.0~3886 X-Git-Url: https://gitweb.git.savannah.gnu.org/gitweb/?a=commitdiff_plain;h=df42cdcaff9f3e6ba0ec17ff330ef543f9270b9f;p=gnulib.git Add a copyright header. * tests/test-libgmp.c: Add a copyright header. --- diff --git a/tests/test-libgmp.c b/tests/test-libgmp.c index af8e4d77b8..f72a74cd62 100644 --- a/tests/test-libgmp.c +++ b/tests/test-libgmp.c @@ -1,3 +1,19 @@ +/* Test of libgmp or its mini-gmp substitute. + Copyright (C) 2020 Free Software Foundation, Inc. + + This program is free software: you can redistribute it and/or modify + it under the terms of the GNU General Public License as published by + the Free Software Foundation; either version 3 of the License, or + (at your option) any later version. + + This program is distributed in the hope that it will be useful, + but WITHOUT ANY WARRANTY; without even the implied warranty of + MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + GNU General Public License for more details. + + You should have received a copy of the GNU General Public License + along with this program. If not, see . */ + #include #include