diff options
author | Karl Berry <karl@freefriends.org> | 2022-05-25 07:53:56 -0700 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2022-05-25 07:53:56 -0700 |
commit | 9ada5af3c874fddf434ae7c31935974e86624519 (patch) | |
tree | 7923ea26952fadbcfba404b3e1d505238ab7a051 /lib | |
parent | 88d3598a277061b855c778103c1f5a114ea0afd7 (diff) | |
download | gnulib-9ada5af3c874fddf434ae7c31935974e86624519.tar.gz |
autoupdate
Diffstat (limited to 'lib')
-rw-r--r-- | lib/mini-gmp.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/mini-gmp.h b/lib/mini-gmp.h index 508712d235..59c24cf511 100644 --- a/lib/mini-gmp.h +++ b/lib/mini-gmp.h @@ -8,7 +8,7 @@ The GNU MP Library is free software; you can redistribute it and/or modify it under the terms of either: * the GNU Lesser General Public License as published by the Free - Software Foundation, either version 3 of the License, or (at your + Software Foundation; either version 3 of the License, or (at your option) any later version. or |