]> git.ipfire.org Git - thirdparty/mkosi.git/commitdiff
Merge pull request #3285 from DaanDeMeyer/settings
authorJörg Behrmann <behrmann@physik.fu-berlin.de>
Thu, 19 Dec 2024 11:48:06 +0000 (12:48 +0100)
committerGitHub <noreply@github.com>
Thu, 19 Dec 2024 11:48:06 +0000 (12:48 +0100)
Move more settings from [Host] to [Build]

1  2 
mkosi/config.py

diff --cc mkosi/config.py
Simple merge