docbase: fix info filename; don't remove doc/updated-stamp
[gnulib.git] / modules / floor-ieee
2011-02-16 Ian BeckwithMerge branch 'stable'
2011-02-11 Ian BeckwithMerge branch 'upstream' into stable
2010-12-21 Bruno HaibleNew module 'floor-ieee'.