]> git.ipfire.org Git - thirdparty/mkosi.git/commitdiff
Merge pull request #2007 from DaanDeMeyer/profile
authorDaan De Meyer <daan.j.demeyer@gmail.com>
Mon, 23 Oct 2023 10:19:58 +0000 (12:19 +0200)
committerGitHub <noreply@github.com>
Mon, 23 Oct 2023 10:19:58 +0000 (12:19 +0200)
Add support for profiles


Trivial merge