docbase: fix info filename; don't remove doc/updated-stamp
[gnulib.git] / modules / count-leading-zeros-tests
2013-08-05 Ian BeckwithMerge branch 'stable'
2013-08-05 Ian BeckwithMerge tag 'snapshot-start' into stable
2012-08-10 Eric Blakecount-leading-zeros: new module