Skip to content

rename many files#160

Merged
phlptp merged 2 commits into
mainfrom
renames
May 20, 2026
Merged

rename many files#160
phlptp merged 2 commits into
mainfrom
renames

Conversation

@phlptp
Copy link
Copy Markdown
Collaborator

@phlptp phlptp commented May 20, 2026

Summary

If merged this pull request will rename many of the files to better match their class names

Proposed changes

@phlptp phlptp merged commit 113ab68 into main May 20, 2026
24 checks passed
@phlptp phlptp deleted the renames branch May 20, 2026 12:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant