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