Skip to content

Rename a bunch of procedures for better readability#67

Merged
jeremycw merged 4 commits into
masterfrom
rename-refactor
Feb 21, 2023
Merged

Rename a bunch of procedures for better readability#67
jeremycw merged 4 commits into
masterfrom
rename-refactor

Conversation

@jeremycw

Copy link
Copy Markdown
Owner

No description provided.

@jeremycw jeremycw merged commit 9a35c86 into master Feb 21, 2023
@jeremycw jeremycw deleted the rename-refactor branch February 21, 2023 23:42
@Arti171 Arti171 linked an issue Mar 30, 2023 that may be closed by this pull request
Open
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.

B

1 participant