]> git.ipfire.org Git - thirdparty/systemd.git/commitdiff
Merge pull request #16497 from DaanDeMeyer/mkosi
authorZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Mon, 20 Jul 2020 07:03:51 +0000 (09:03 +0200)
committerGitHub <noreply@github.com>
Mon, 20 Jul 2020 07:03:51 +0000 (09:03 +0200)
mkosi: Keep mkosi.default out of the repository


Trivial merge