docbase: fix info filename; don't remove doc/updated-stamp
[gnulib.git] / modules / .gitattributes
2009-07-21 Bruno HaibleDon't let "git push" reject trailing blank lines in...