mrg 1eeccc863c remove obsolete comments.		2019-06-01 08:29:16 +00:00
..
gmp	fake mknative, mostly enough to build real for mknative.	2019-04-17 08:56:10 +00:00
mpc	…
mpfr	remove obsolete comments.	2019-06-01 08:29:16 +00:00