Skip to content

Delete src/MSBuild/Properties/launchSettings.json - #8637

Merged
rainersigwald merged 2 commits into
dotnet:mainfrom
ladipro:delete-launchsettings
Apr 7, 2023
Merged

Delete src/MSBuild/Properties/launchSettings.json#8637
rainersigwald merged 2 commits into
dotnet:mainfrom
ladipro:delete-launchsettings

Conversation

@ladipro

@ladipro ladipro commented Apr 5, 2023

Copy link
Copy Markdown
Member

Context

src/MSBuild/Properties/launchSettings.json was added to the repo as part of #8012 by mistake.

Changes Made

Deleted the file and added it to .gitignore.

@Forgind Forgind added the merge-when-branch-open PRs that are approved, except that there is a problem that means we are not merging stuff right now. label Apr 7, 2023
@rainersigwald
rainersigwald merged commit 66dace7 into dotnet:main Apr 7, 2023
@ladipro
ladipro deleted the delete-launchsettings branch May 10, 2023 06:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

merge-when-branch-open PRs that are approved, except that there is a problem that means we are not merging stuff right now.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants