Skip to content
This repository has been archived by the owner on Jul 1, 2024. It is now read-only.

Clean up unused and duplicate files #1030

Merged
merged 2 commits into from
Mar 1, 2023
Merged

Clean up unused and duplicate files #1030

merged 2 commits into from
Mar 1, 2023

Conversation

Xaymar
Copy link
Owner

@Xaymar Xaymar commented Mar 1, 2023

Explain the Pull Request

Removes some duplicated and unused files from the repository.

Completion Checklist

  • This has been tested on the following platforms:
    • MacOS 10.15
    • MacOS 11
    • MacOS 12
    • Ubuntu 20.04
    • Ubuntu 22.04
    • Windows 10
    • Windows 11
  • The copyright headers and license files have been updated.
  • I will maintain this for the forseeable future, and have added myself to CODEOWNERS.

@Xaymar Xaymar merged commit e327484 into root Mar 1, 2023
@Xaymar Xaymar deleted the patch/cleanup branch March 1, 2023 08:11
@Xaymar Xaymar added this to the 0.12 milestone Mar 18, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

1 participant