diff options
author | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2020-06-10 12:48:02 +0000 |
---|---|---|
committer | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2020-06-10 12:48:02 +0000 |
commit | 150521f451e98d396ada26757bedb0083b1f8856 (patch) | |
tree | 9cfe44c0edb11b106685f1e5c9bcd76c29146a93 /NEWS | |
parent | 9dda33de2cbf3e2c1d323afd76e5146a5699bfd7 (diff) | |
download | mpfr-150521f451e98d396ada26757bedb0083b1f8856.tar.gz |
[NEWS] Typo in option name.
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13964 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'NEWS')
-rw-r--r-- | NEWS | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -22,7 +22,7 @@ https://www.gnu.org/licenses/ or write to the Free Software Foundation, Inc., Changes from versions 4.0.* to version 4.1.0: - The "..." release. -- New --enable-formally-proven code configure option, to use (when available) +- New --enable-formally-proven-code configure option, to use (when available) formally proven code. - Improved __GMP_CC and __GMP_CFLAGS retrieval (in particular for MS Windows). - Option -pedantic is now always removed from __GMP_CFLAGS (see INSTALL). |