Skip to content

Clarify where settings extension lives.#150

Merged
robinjhuang merged 1 commit intomainfrom robinjhuang-patch-1Oct 30, 2024

Commits

Commits on Oct 30, 2024