Mentions légales du service

deleted/r5663/2.4-tipdelete
default avatar
vincent@vinc17.net
e65a870f · INSTALL, configure.in: corrected documentation of --with-gmp* options. · 
Removed 2.4 branch (will be recreated from trunk).

[From SVN r5663]