Commit [88fb67] Maximize Restore History

Automatically generated

jgarcia jgarcia 2007-03-24

removed src/gmp/doc/gmp.info
src/gmp/doc/gmp.info
File was removed.