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

Add grave accent when appropriate #1979

Merged
merged 2 commits into from Jul 28, 2019

Conversation

@yahiheb
Copy link
Collaborator

commented Jul 22, 2019

No description provided.

@MaxHillebrand
Copy link
Collaborator

left a comment

Makes sense to highlight these code pieces.

@nopara73 nopara73 merged commit 10751e5 into zkSNACKs:master Jul 28, 2019

1 of 4 checks passed

Wasabi.Linux in progress
Details
Wasabi.Osx queued
Details
Wasabi.Windows in progress
Details
CodeFactor No issues found.
Details

@yahiheb yahiheb deleted the yahiheb:grave-accent branch Jul 29, 2019

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
3 participants
You can’t perform that action at this time.