execute: Revert last change, but use a different condition.
[gnulib.git] / modules / ldexpl-ieee
2012-02-26 Bruno HaibleNew module 'ldexpl-ieee'.