projects / emacs.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e0e3f2b) | patch
Preserve <title> in the Emacs manuals
authorLars Ingebrigtsen <larsi@gnus.org>
Mon, 4 Jul 2022 10:47:16 +0000 (12:47 +0200)
committerLars Ingebrigtsen <larsi@gnus.org>
Mon, 4 Jul 2022 10:47:16 +0000 (12:47 +0200)
commitb778e71af7ca8c59917334b4bb1b34cdb52faca9
tree95e0744bbf0e181f5081b00b7ae5cd42c64ff4d7tree | snapshot
parente0e3f2b672bc42da52ac9c7596c7560a88684651commit | diff
Preserve <title> in the Emacs manuals

* admin/admin.el (manual-html-fix-headers): Preserve the <title>
element (bug#48334).
admin/admin.el diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.