Skip to content

Add "tags" paragraph to coding-guidelines.md#13029

Merged
tsmaeder merged 1 commit intomasterfrom
tsmaeder-patch-coding-guidelines
Nov 1, 2023
Merged

Add "tags" paragraph to coding-guidelines.md#13029
tsmaeder merged 1 commit intomasterfrom
tsmaeder-patch-coding-guidelines

Conversation

@tsmaeder
Copy link
Member

What it does

Add a paragraph about usage of "to do" tags in Theia

Contributed on behalf of STMicroelectronics

Add a paragraph about usage of "to do" tags in Theia

Contributed on behalf of STMicroelectronics

Signed-off-by: Thomas Mäder <t.s.maeder@gmail.com>
@tsmaeder tsmaeder merged commit dcfff83 into master Nov 1, 2023
@github-actions github-actions bot added this to the 1.44.0 milestone Nov 1, 2023
@ndoschek ndoschek deleted the tsmaeder-patch-coding-guidelines branch December 5, 2025 15:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Archived in project

Development

Successfully merging this pull request may close these issues.

2 participants