]> git.ipfire.org Git - thirdparty/mkosi.git/commitdiff
Merge pull request #1652 from DaanDeMeyer/extra-search-tree
authorDaan De Meyer <daan.j.demeyer@gmail.com>
Mon, 3 Jul 2023 13:10:33 +0000 (15:10 +0200)
committerGitHub <noreply@github.com>
Mon, 3 Jul 2023 13:10:33 +0000 (15:10 +0200)
Add --tools-tree= option

1  2 
mkosi.md
mkosi/config.py
mkosi/distributions/fedora.py
mkosi/distributions/opensuse.py

diff --cc mkosi.md
Simple merge
diff --cc mkosi/config.py
Simple merge
Simple merge
Simple merge