diff options
Diffstat (limited to 'doc/README.dev')
-rw-r--r-- | doc/README.dev | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/README.dev b/doc/README.dev index b1368bda2..4bde71cc3 100644 --- a/doc/README.dev +++ b/doc/README.dev @@ -395,7 +395,7 @@ has used this form since 2004-01-26 (in headers.m4). References: http://git.savannah.gnu.org/gitweb/?p=autoconf.git;a=commitdiff;h=62ac9bbfebe879581dabeed78c6ac66b907dd51d - http://websympa.loria.fr/wwsympa/arc/mpfr/2010-08/msg00015.html + https://sympa.inria.fr/sympa/arc/mpfr/2010-08/msg00015.html ==================================================================== |