diff options
Diffstat (limited to 'tools/get_patches.sh')
| -rwxr-xr-x | tools/get_patches.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/get_patches.sh b/tools/get_patches.sh index 133baa8e8..526f60856 100755 --- a/tools/get_patches.sh +++ b/tools/get_patches.sh @@ -3,7 +3,7 @@ cat <<EOF /* mpfr_get_patches -- Patches that have been applied -Copyright 2007-2013 Free Software Foundation, Inc. +Copyright 2007-2014 Free Software Foundation, Inc. Contributed by the AriC and Caramel projects, INRIA. This file is part of the GNU MPFR Library. |