diff options
Diffstat (limited to 'src/mini-gmp.h')
| -rw-r--r-- | src/mini-gmp.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/mini-gmp.h b/src/mini-gmp.h index 2586d32db9e..27e0c0671a2 100644 --- a/src/mini-gmp.h +++ b/src/mini-gmp.h @@ -1,6 +1,6 @@ /* mini-gmp, a minimalistic implementation of a GNU GMP subset. -Copyright 2011-2015, 2017, 2019 Free Software Foundation, Inc. +Copyright 2011-2015, 2017 Free Software Foundation, Inc. This file is part of the GNU MP Library. |