Mentions légales du service

deleted/r9371/new-sum-root
default avatar
vincent@vinc17.net
6977242a · Added a TODO item concerning gmp_op.c functions with mpz_srcptr and · 
Created new-sum branch to rewrite mpfr_sum.

[From SVN r8999]