docbase: fix info filename; don't remove doc/updated-stamp
[gnulib.git] / modules / nocrash
2007-11-04 Bruno HaibleNew module 'nocrash'.