Skip to content

rename Extensions to FileExtensions - #109

Merged
SimonCropp merged 1 commit into
mainfrom
rename-Extensions-to-FileExtensions
Oct 16, 2022
Merged

SimonCropp merged 1 commit into
mainfrom
rename-Extensions-to-FileExtensions

Conversation

@SimonCropp

Copy link
Copy Markdown
Member

to reduce the change of conflicts in consuming projects

@SimonCropp SimonCropp added this to the 3.0.0 milestone Oct 16, 2022
@SimonCropp
SimonCropp merged commit 02acc86 into main Oct 16, 2022
@SimonCropp
SimonCropp deleted the rename-Extensions-to-FileExtensions branch October 16, 2022 21:40
@github-actions
github-actions Bot restored the rename-Extensions-to-FileExtensions branch October 16, 2022 21:41
@SimonCropp
SimonCropp deleted the rename-Extensions-to-FileExtensions branch October 16, 2022 21:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

1 participant