]> git.ipfire.org Git - thirdparty/mkosi.git/commitdiff
Merge pull request #1738 from DaanDeMeyer/tree
authorDaan De Meyer <daan.j.demeyer@gmail.com>
Sun, 6 Aug 2023 07:54:23 +0000 (09:54 +0200)
committerGitHub <noreply@github.com>
Sun, 6 Aug 2023 07:54:23 +0000 (09:54 +0200)
tree: Introduce install_tree()


Trivial merge