Commit f386a3338595ae012da309d685dcc0700027f96a

Bruno Haible 2007-10-02T00:11:20

Rename float_.h to float.in.h.