Skip to content
This repository was archived by the owner on Jul 10, 2025. It is now read-only.

Conversation

@coder11
Copy link
Contributor

@coder11 coder11 commented May 13, 2021

Renaming everything according to the new terminology

@coder11 coder11 requested review from DieMyst and alari May 13, 2021 09:34
@coder11 coder11 merged commit 054a7bf into master May 18, 2021
@coder11 coder11 deleted the mass-rename branch June 7, 2021 13:22
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.

3 participants