]> git.ipfire.org Git - thirdparty/mkosi.git/commitdiff
Merge pull request #2001 from DaanDeMeyer/json
authorDaan De Meyer <daan.j.demeyer@gmail.com>
Fri, 20 Oct 2023 15:12:50 +0000 (17:12 +0200)
committerGitHub <noreply@github.com>
Fri, 20 Oct 2023 15:12:50 +0000 (17:12 +0200)
Add --json option


Trivial merge