docbase: fix info filename; don't remove doc/updated-stamp
[gnulib.git] / modules / root-uid
2013-08-05 Ian BeckwithMerge branch 'stable'
2013-08-05 Ian BeckwithMerge tag 'snapshot-start' into stable
2012-06-26 Paul Eggertroot-uid: new module