Paul Eggert a89f0b6f33 maint: shorten https://lists.gnu.org/archive/html/... links		2017-11-25 22:48:12 -08:00
..
emacs	maint: shorten https://lists.gnu.org/archive/html/... links	2017-11-25 22:48:12 -08:00
lispintro	; Typo fixes, mostly repeated words	2017-10-09 22:55:06 -07:00
lispref	maint: shorten https://lists.gnu.org/archive/html/... links	2017-11-25 22:48:12 -08:00
man	Prefer HTTPS to HTTP for gnu.org	2017-09-29 17:48:22 -07:00
misc	maint: shorten https://lists.gnu.org/archive/html/... links	2017-11-25 22:48:12 -08:00