]> git.ipfire.org Git - thirdparty/mkosi.git/commitdiff
Merge pull request #1509 from DaanDeMeyer/profiles-prep
authorJörg Behrmann <behrmann@physik.fu-berlin.de>
Tue, 25 Apr 2023 16:01:57 +0000 (18:01 +0200)
committerGitHub <noreply@github.com>
Tue, 25 Apr 2023 16:01:57 +0000 (18:01 +0200)
Profiles preparation

1  2 
mkosi/util.py

diff --cc mkosi/util.py
Simple merge