Skip to content

Replace some borders in default mac terminal.#2770

Closed
rodrigogiraoserrao wants to merge 1 commit intomainfrom mac-borders

Commits

Commits on Jun 12, 2023