Commit 5272e693d2736f7eb7af02a39db91d82895fdb4b

Bruno Haible 2012-02-27T10:56:13

New module 'rint-ieee'. * modules/rint-ieee: New file.