Skip to content

Clean comments in gnark-crypto codebase (curves)#193

Merged
gbotrel merged 1 commit intodevelopfrom
clean-comments
May 24, 2022
Merged

Clean comments in gnark-crypto codebase (curves)#193
gbotrel merged 1 commit intodevelopfrom
clean-comments

Conversation

@yelhousni
Copy link
Copy Markdown
Collaborator

No description provided.

@yelhousni yelhousni added the type: cleanup Suggestion to clean up the code label May 24, 2022
@yelhousni yelhousni requested a review from gbotrel May 24, 2022 17:40
@gbotrel
Copy link
Copy Markdown
Collaborator

gbotrel commented May 24, 2022

beautiful :)

@gbotrel gbotrel merged commit a514785 into develop May 24, 2022
@gbotrel gbotrel deleted the clean-comments branch May 24, 2022 21:09
@gbotrel gbotrel mentioned this pull request Aug 3, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

type: cleanup Suggestion to clean up the code

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants