Commit 84fc85fc6b4ce717afa9c3658dfea7eddfcc82e5

Bruno Haible 2007-05-18T17:21:44

New module 'frexpl-nolibm'.