Skip to content

PR: Rename External Console plugin to External Terminal#21294

Merged
ccordoba12 merged 1 commit intospyder-ide:masterfrom ccordoba12:rename-extconsoleSep 16, 2023

Commits

Commits on Sep 16, 2023