Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

docs(gen): update devtools wording #4597

Merged
merged 1 commit into from
Mar 12, 2025
Merged

docs(gen): update devtools wording #4597

merged 1 commit into from
Mar 12, 2025

Conversation

bene2k1
Copy link
Member

@bene2k1 bene2k1 commented Mar 11, 2025

Description

Updated devtools wording to more formal developer tools in some documentations.

@bene2k1 bene2k1 added type: maintenance Improvements or additions to documentation priority: low Maintenance PRs that are not critical. labels Mar 11, 2025
@bene2k1 bene2k1 requested review from RoRoJ and jcirinosclwy March 11, 2025 15:51
@bene2k1 bene2k1 self-assigned this Mar 11, 2025
@bene2k1 bene2k1 merged commit a5f2367 into main Mar 12, 2025
5 checks passed
@bene2k1 bene2k1 deleted the int-fix-gen-remove-devtools-wording branch March 12, 2025 09:05
bene2k1 added a commit that referenced this pull request Mar 12, 2025
@bene2k1
docs(gen): update devtools wording (#4597)
b7b67eb
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@nerda-codes nerda-codes nerda-codes approved these changes

@jcirinosclwy jcirinosclwy jcirinosclwy approved these changes

@RoRoJ RoRoJ Awaiting requested review from RoRoJ RoRoJ is a code owner

Assignees

@bene2k1 bene2k1

Labels
priority: low Maintenance PRs that are not critical. type: maintenance Improvements or additions to documentation
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@bene2k1 @nerda-codes @jcirinosclwy