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.

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

chore: remove redundant words in comment #187

Merged
merged 1 commit into from
Dec 20, 2024

Conversation

withbest
Copy link
Contributor

No description provided.

Verified

This commit was signed with the committer’s verified signature.
Ank4n Ankan
Signed-off-by: withbest <[email protected].>
@arnaucube arnaucube changed the base branch from main to typos-aggr December 20, 2024 08:32
@arnaucube arnaucube merged commit 3f97a95 into privacy-scaling-explorations:typos-aggr Dec 20, 2024
9 checks passed
arnaucube added a commit that referenced this pull request Feb 19, 2025
github-merge-queue bot pushed a commit that referenced this pull request Feb 24, 2025
* Docs: Fix Typo (#174)

There is a typo in the text

* Docs fix spelling issues (#152)


* Update nimfs.rs

* Update utils.rs

---------

* Typo Update README.md (#175)

Corrected preposition in the solidity-verifiers description

* docs fix spelling issues (#178)

* Update README.md

* Update README.md

* Update README.md

* Fix typographical errors in documentation and comments (#192)

* typo kzg.rs

* typo virtual_polynomial.rs

* typo gadgets.rs

* typo nova.rs

* fix: typos in documentation files (#190)

* Update main.rs

* Fix rustfmt errors

---------

Co-authored-by: Игорь <[email protected]>

* Fix spelling (#194)

* Fix spelling kzg.rs

* Fix spelling virtual_polynomial.rs

* Fix spelling gadgets.rs

* chore: remove redundant words in comment (#187)

* chore: fix some typos (#198)

---------

Co-authored-by: Oleg <[email protected]>
Co-authored-by: Elias Rad <[email protected]>
Co-authored-by: Bryer <[email protected]>
Co-authored-by: planetBoy <[email protected]>
Co-authored-by: Marco <[email protected]>
Co-authored-by: fuder.eth <[email protected]>
Co-authored-by: Игорь <[email protected]>
Co-authored-by: Ocenka <[email protected]>
Co-authored-by: withbest <[email protected]>
Co-authored-by: fanqiaojun <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants