Skip to content

remove border from tree indent#1140

Merged

davegarthsimpson merged 2 commits intomain from

hide-line-in-tree-indent

Jul 4, 2022

Merged

remove border from tree indent #1140
davegarthsimpson merged 2 commits intomain from
hide-line-in-tree-indent

Commits

Commits on Jul 4, 2022