mrg 1eeccc863c remove obsolete comments.

2019-06-01 08:29:16 +00:00

..

gmp

…

mpc

…

mpfr

remove obsolete comments.

2019-06-01 08:29:16 +00:00