Merge pull request #1652 from DaanDeMeyer/extra-search-tree

author Daan De Meyer <daan.j.demeyer@gmail.com>

Mon, 3 Jul 2023 13:10:33 +0000 (15:10 +0200)

committer GitHub <noreply@github.com>

Mon, 3 Jul 2023 13:10:33 +0000 (15:10 +0200)
author Daan De Meyer <daan.j.demeyer@gmail.com>
Mon, 3 Jul 2023 13:10:33 +0000 (15:10 +0200)
committer GitHub <noreply@github.com>
Mon, 3 Jul 2023 13:10:33 +0000 (15:10 +0200)
diff --cc mkosi.md
Simple merge
diff --cc mkosi/config.py
Simple merge
diff --cc mkosi/distributions/fedora.py
Simple merge
diff --cc mkosi/distributions/opensuse.py
Simple merge
author	Daan De Meyer <daan.j.demeyer@gmail.com>
	Mon, 3 Jul 2023 13:10:33 +0000 (15:10 +0200)
committer	GitHub <noreply@github.com>
	Mon, 3 Jul 2023 13:10:33 +0000 (15:10 +0200)
		1	2
mkosi.md	patch \|	diff1 \|	diff2 \|	blob \| history
mkosi/config.py	patch \|	diff1 \|	diff2 \|	blob \| history
mkosi/distributions/fedora.py	patch \|	diff1 \|	diff2 \|	blob \| history
mkosi/distributions/opensuse.py	patch \|	diff1 \|	diff2 \|	blob \| history