(no author) a2c42da38f Fiddled with tuning value.		2010-02-13 21:20:12 +00:00
..
gmp-mparam.h	Fiddled with tuning value.	2010-02-13 21:20:12 +00:00