Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Remove unused resources and extension in CodeStyle #60619

Merged
merged 2 commits into from
Apr 7, 2022
Merged

Remove unused resources and extension in CodeStyle #60619

merged 2 commits into from
Apr 7, 2022

Conversation

Youssef1313
Copy link
Member

No description provided.

@Youssef1313 Youssef1313 requested a review from a team as a code owner April 7, 2022 06:36
@ghost ghost added the Community The pull request was submitted by a contributor who is not a Microsoft employee. label Apr 7, 2022
@Youssef1313 Youssef1313 mentioned this pull request Apr 7, 2022
Closed
@Youssef1313 Youssef1313 force-pushed the remove-unneeded-files branch from 11ce36f to 7235ed8 Compare April 7, 2022 14:10
@Youssef1313 Youssef1313 marked this pull request as draft April 7, 2022 14:39
@Youssef1313 Youssef1313 force-pushed the remove-unneeded-files branch 2 times, most recently from 6d229af to 5e20b92 Compare April 7, 2022 14:51
@Youssef1313 Youssef1313 force-pushed the remove-unneeded-files branch from 5e20b92 to 2cbdbbe Compare April 7, 2022 14:52
@Youssef1313 Youssef1313 marked this pull request as ready for review April 7, 2022 15:13
@jmarolf jmarolf merged commit 442b2c0 into dotnet:main Apr 7, 2022
@ghost ghost added this to the Next milestone Apr 7, 2022
@jmarolf
Copy link
Contributor

jmarolf commented Apr 7, 2022

Thanks @Youssef1313!

@Youssef1313 Youssef1313 deleted the remove-unneeded-files branch April 8, 2022 02:17
@dibarbet dibarbet modified the milestones: Next, 17.3.P1 Apr 25, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@jmarolf jmarolf jmarolf approved these changes

Assignees

@jmarolf jmarolf

Labels
Area-IDE Community The pull request was submitted by a contributor who is not a Microsoft employee.
Projects
None yet
Milestone
17.3.P1
Development

Successfully merging this pull request may close these issues.
3 participants
@Youssef1313 @jmarolf @dibarbet