docbase: fix info filename; don't remove doc/updated-stamp
[gnulib.git] / modules / file-set
2007-09-27 Jim MeyeringNew module, file-set.