Paul Eggert a89f0b6f33 maint: shorten https://lists.gnu.org/archive/html/... links		2017-11-25 22:48:12 -08:00
..
config.in	maint: shorten https://lists.gnu.org/archive/html/... links	2017-11-25 22:48:12 -08:00
Makefile.in	Fix copyright years by hand	2017-01-01 04:01:41 +00:00