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

Minor doc improvements #350

Merged

rustprooflabs merged 1 commit into main from doc-cleanup

Jul 13, 2023

Owner

rustprooflabs commented Jul 13, 2023


          Minor doc improvements

76dc9ea

rustprooflabs added the documentation label

rustprooflabs added this to the 0.10.0 milestone

rustprooflabs merged commit e7d967e into main

2 checks passed

rustprooflabs deleted the doc-cleanup branch

July 13, 2023 23:04

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment