Skip to content

Change highlighting of bookmarks in the tree.#1261

Merged
PhilRunninger merged 2 commits intomasterfrom i1260Sep 11, 2021

Commits

Commits on Sep 11, 2021