]> git.ipfire.org Git - thirdparty/mkosi.git/commitdiff
Merge pull request #3616 from DaanDeMeyer/sandbox
authorDaan De Meyer <daan.j.demeyer@gmail.com>
Tue, 25 Mar 2025 15:01:11 +0000 (16:01 +0100)
committerGitHub <noreply@github.com>
Tue, 25 Mar 2025 15:01:11 +0000 (16:01 +0100)
Make sure tools tree recorded in history doesn't change when in sandbox

1  2 
mkosi/config.py

diff --cc mkosi/config.py
Simple merge