]> git.ipfire.org Git - thirdparty/systemd.git/commitdiff
docs: small improvements for html man pages menu selector (#37663)
authorLuca Boccassi <bluca@debian.org>
Fri, 30 May 2025 11:33:48 +0000 (12:33 +0100)
committerGitHub <noreply@github.com>
Fri, 30 May 2025 11:33:48 +0000 (12:33 +0100)
Result is already live at
https://www.freedesktop.org/software/systemd/man


Trivial merge