]> git.ipfire.org Git - thirdparty/mkosi.git/commitdiff
Merge pull request #3089 from behrmann/docdocargs
authorDaan De Meyer <daan.j.demeyer@gmail.com>
Tue, 1 Oct 2024 08:04:16 +0000 (10:04 +0200)
committerGitHub <noreply@github.com>
Tue, 1 Oct 2024 08:04:16 +0000 (10:04 +0200)
Two documentation fixes


Trivial merge