Skip to content

Documentation: Replace the API example by a link to the API#6809

Open
kit-ty-kate wants to merge 1 commit intoocaml:masterfrom
kit-ty-kate:doc-version-cmp-api
Open

Documentation: Replace the API example by a link to the API#6809
kit-ty-kate wants to merge 1 commit intoocaml:masterfrom
kit-ty-kate:doc-version-cmp-api

Conversation

@kit-ty-kate
Copy link
Copy Markdown
Member

@kit-ty-kate kit-ty-kate commented Nov 21, 2025

@kit-ty-kate kit-ty-kate added this to the 2.6.0~alpha1 milestone Nov 21, 2025
@kit-ty-kate kit-ty-kate requested a review from rjbou November 21, 2025 17:54
@kit-ty-kate kit-ty-kate added AREA: DOCUMENTATION PR: QUEUED Pending pull request, waiting for other work to be merged or closed labels Nov 21, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

AREA: DOCUMENTATION PR: QUEUED Pending pull request, waiting for other work to be merged or closed

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Manual: Add a link to the API instead of having a code snippet

1 participant