Skip to content

Add external code editor. The choice is possible from preferences gui.#177

Merged
capocchi merged 1 commit into
masterfrom
version-4.0
Mar 2, 2021
Merged

Add external code editor. The choice is possible from preferences gui.#177
capocchi merged 1 commit into
masterfrom
version-4.0

Add external code editor. The choice is possible from preferences gui.

ebe9e30
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs