]> git.ipfire.org Git - thirdparty/mkosi.git/commitdiff
Merge pull request #1914 from behrmann/json
authorDaan De Meyer <daan.j.demeyer@gmail.com>
Wed, 4 Oct 2023 08:17:46 +0000 (10:17 +0200)
committerGitHub <noreply@github.com>
Wed, 4 Oct 2023 08:17:46 +0000 (10:17 +0200)
Make `MkosiArgs` and `MkosiConfig` dumpable to and loadble from JSON


Trivial merge