docbase: fix info filename; don't remove doc/updated-stamp
[gnulib.git] / modules / printf-safe
2007-06-06 Bruno HaibleA "mixin" module that determines whether to require...