diff options
| author | Lars Ingebrigtsen | 2022-07-04 12:47:16 +0200 |
|---|---|---|
| committer | Robert Pluim | 2022-07-04 14:07:30 +0200 |
| commit | 724f712ef17d4a248048d97a8c9b72f95fcf0914 (patch) | |
| tree | 9244e43df2f4e50349ec196971a5732dfb8d044f /src/buffer.c | |
| parent | 41472f3b6c028db18228fb569457ab1c1313f36b (diff) | |
| download | emacs-724f712ef17d4a248048d97a8c9b72f95fcf0914.tar.gz emacs-724f712ef17d4a248048d97a8c9b72f95fcf0914.zip | |
Preserve <title> in the Emacs manuals
Backport from master.
* admin/admin.el (manual-html-fix-headers): Preserve the <title>
element (bug#48334).
(cherry picked from commit b778e71af7ca8c59917334b4bb1b34cdb52faca9)
Diffstat (limited to 'src/buffer.c')
0 files changed, 0 insertions, 0 deletions