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

Conversation

@capocchi

@capocchi capocchi commented Mar 2, 2021

Copy link
Copy Markdown
Owner

No description provided.

@capocchi capocchi merged commit 8a7a24c into master Mar 2, 2021
@sonarqubecloud

sonarqubecloud Bot commented Mar 2, 2021

Copy link
Copy Markdown

Kudos, SonarCloud Quality Gate passed!

Bug A 0 Bugs
Vulnerability A 0 Vulnerabilities
Security Hotspot A 0 Security Hotspots
Code Smell A 0 Code Smells

No Coverage information No Coverage information
0.0% 0.0% Duplication

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant