Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Re-order terminals, again, for better UX.#4186

Merged
dae merged 2 commits intoankitects:mainfrom
Grinkers:terminal-reorder
Jul 8, 2025
Merged

Re-order terminals, again, for better UX.#4186
dae merged 2 commits intoankitects:mainfrom
Grinkers:terminal-reorder

Commits

Commits on Jul 8, 2025