diff options
| author | Paul Eggert | 2019-04-28 13:14:49 -0700 |
|---|---|---|
| committer | Paul Eggert | 2019-04-28 13:17:30 -0700 |
| commit | 9469d58ebe10b280a89c77ccdc89bd2340766107 (patch) | |
| tree | 4687e58fd03fe490aab623a84da2612ca2b1ba21 /src/mini-gmp.h | |
| parent | 4d97e1a9ea35c3a1d9f03abb7a822d57f384c1a5 (diff) | |
| download | emacs-9469d58ebe10b280a89c77ccdc89bd2340766107.tar.gz emacs-9469d58ebe10b280a89c77ccdc89bd2340766107.zip | |
Update from GMP
* admin/update-copyright (updatable_files):
Don’t update copyright year on files copied from GMP, so that
they’re identical to upstream.
* src/mini-gmp.c, src/mini-gmp.h: Copy from GMP development
versions as of 2019-01-01 20:15:39 UTC.
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 @@ | |||
| 1 | /* mini-gmp, a minimalistic implementation of a GNU GMP subset. | 1 | /* mini-gmp, a minimalistic implementation of a GNU GMP subset. |
| 2 | 2 | ||
| 3 | Copyright 2011-2015, 2017, 2019 Free Software Foundation, Inc. | 3 | Copyright 2011-2015, 2017 Free Software Foundation, Inc. |
| 4 | 4 | ||
| 5 | This file is part of the GNU MP Library. | 5 | This file is part of the GNU MP Library. |
| 6 | 6 | ||