Skip to content

Hide tree options when tree is off#1698

Merged
victorlin merged 2 commits intomasterfrom victorlin/hide-tree-optionsSep 14, 2023

Commits

Commits on Sep 12, 2023