Skip to content

Conversation

jonahgraham
Copy link
Member

Fixes #9

Copy link
Contributor

@ghentschke ghentschke left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM.

@ghentschke ghentschke merged commit 8dbee93 into eclipse-cdt:master Feb 17, 2023
@jonahgraham jonahgraham added this to the 1.0.0 milestone Sep 18, 2023
@jonahgraham jonahgraham deleted the fixes_9 branch April 30, 2024 15:03
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.

Use of a new editor type
2 participants