Skip to content

Conversation

ddscharfe
Copy link
Contributor

Add custom options preference as discussed in issue #81. See also #142.

- use "additional options" consistently instead of "custom/further
options"
- "new line" -> "newline"
Copy link
Member

@ruspl-afed ruspl-afed left a comment

Choose a reason for hiding this comment

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

LGTM

@ruspl-afed
Copy link
Member

/request-license-review

@ruspl-afed
Copy link
Member

@jonahgraham how should we deal with false positives from Eclipse Dash tool?

@ruspl-afed ruspl-afed merged commit ac75bcb into eclipse-cdt:master Jul 1, 2023
@jonahgraham jonahgraham added this to the 1.0.0 milestone Sep 18, 2023
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.

3 participants