Skip to content

Deleting unused file#1492

Merged
codeboten merged 2 commits intomasterfrom
codeboten-patch-1
Dec 20, 2020
Merged

Deleting unused file#1492
codeboten merged 2 commits intomasterfrom
codeboten-patch-1

Conversation

@codeboten
Copy link
Copy Markdown
Contributor

This file is not longer in use, removing it

This file is not longer in use, removing it
@codeboten codeboten requested review from a team, lzchen and ocelotl and removed request for a team December 17, 2020 16:16
@codeboten codeboten added the Skip Changelog PRs that do not require a CHANGELOG.md entry label Dec 17, 2020
@codeboten codeboten merged commit 6f2b5ce into master Dec 20, 2020
@ocelotl ocelotl deleted the codeboten-patch-1 branch December 21, 2020 23:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Skip Changelog PRs that do not require a CHANGELOG.md entry

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants