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(website): fix typos in configuration docs #329

Merged
merged 1 commit into from
Oct 25, 2023
Merged

docs(website): fix typos in configuration docs #329

merged 1 commit into from
Oct 25, 2023

Conversation

debghs
Copy link
Contributor

@debghs debghs commented Oct 25, 2023 •
edited
Loading

Description

Fixed Spelling and Typing Errors in configuration.md

Motivation and Context

How Has This Been Tested?

Screenshots / Logs (if applicable)

Types of Changes

  • Bug fix (non-breaking change which fixes an issue)
  • New feature (non-breaking change which adds functionality)
  • Breaking change (fix or feature that would cause existing functionality to change)
  • Documentation (no code change)
  • Refactor (refactoring production code)
  • Other

Checklist:

  • My code follows the code style of this project.
  • I have updated the documentation accordingly.
  • I have formatted the code with rustfmt.
  • I checked the lints with clippy.
  • I have added tests to cover my changes.
  • All new and existing tests passed.

@debghs debghs requested a review from orhun as a code owner October 25, 2023 11:33
@welcome
Copy link

welcome bot commented Oct 25, 2023

Thanks for opening this pull request! Please check out our contributing guidelines! ⛰️

@debghs debghs changed the title Update configuration.md fix: typos Oct 25, 2023
@orhun orhun changed the title fix: typos docs(website): fix typos in configuration docs Oct 25, 2023
@orhun orhun merged commit d863c94 into orhun:main Oct 25, 2023
23 of 24 checks passed
@welcome
Copy link

welcome bot commented Oct 25, 2023

Congrats on merging your first pull request! ⛰️

@chenrui333 chenrui333 mentioned this pull request Oct 29, 2023
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@orhun orhun orhun approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@debghs @orhun