Paul Eggert a9b29ee4a0 Update from Gnulib by running admin/merge-gnulib		2022-09-28 00:37:12 -07:00
..
git-hooks	Port pre-commit hook to Git 2.35.0	2022-02-23 11:41:02 -08:00
config.guess	Update from Gnulib by running admin/merge-gnulib	2022-09-28 00:37:12 -07:00
config.sub	Update from Gnulib by running admin/merge-gnulib	2022-09-28 00:37:12 -07:00
dir_top
gitlog-to-changelog
gitlog-to-emacslog
install-sh
make-info-dir
move-if-change
msys-to-w32
update-copyright
update-subdirs