2005-05-02 Pascal Giorgi 	* /macros/linbox-opt.m4 : add optimization capabilities during linbox configuration
2005-05-02 Pascal Giorgi
	* /macros/linbox-opt.m4 : add optimization capabilities during linbox configuration

linbox-team/linbox,linbox-team/linbox,linbox-team/linbox,linbox-team/linbox,linbox-team/linbox