Mentions légales du service

deleted/r5131/feature-block-root
default avatar
vincent@vinc17.net
b3f178dc · Added initial mpfrlint sh script to check possible problems in · 
Created feature-block branch from the trunk (MPFR_BLOCK_* macros will
be added to have reliable tests of exception flags).

[From SVN r5027]