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

Use more intra-doc-links #36

Merged
merged 1 commit into from
Oct 1, 2023
Merged

Conversation

Swatinem
Copy link
Contributor

@Swatinem Swatinem commented Oct 1, 2023

This creates a ton more intra-doc-links that make navigating the docs easier.

I only did this for the v2020 docs, as that should be the default people are using.

This creates a ton more intra-doc-links that make navigating the docs
easier.

I only did this for the `v2020` docs, as that should be the default
people are using.
@nlfiedler nlfiedler merged commit 7238c76 into nlfiedler:master Oct 1, 2023
3 checks passed
@nlfiedler
Copy link
Owner

Ah yes, actually using rust doc correctly, thank you.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants