8000 Update docs with new local syntax by TheNumbat · Pull Request #4164 · oxcaml/oxcaml · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Update docs with new local syntax #4164

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
Merged
merged 2 commits into from
Jun 23, 2025
Merged

Update docs with new local syntax #4164

merged 2 commits into from
Jun 23, 2025

Conversation

TheNumbat
Copy link
Contributor

Title

@TheNumbat TheNumbat requested a review from goldfirere June 22, 2025 19:58
@TheNumbat TheNumbat added the documentation Improvements or additions to documentation label Jun 22, 2025
@TheNumbat TheNumbat requested review from ccasin and removed request for goldfirere June 23, 2025 18:43
ccasin
ccasin approved these changes Jun 23, 2025
View reviewed changes
Copy link
Contributor
@ccasin ccasin left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

approved for expediency, but see my pedantry in comments

@TheNumbat TheNumbat enabled auto-merge (squash) June 23, 2025 19:10
@TheNumbat TheNumbat merged commit 40ca0e4 into main Jun 23, 2025
31 checks passed
@TheNumbat TheNumbat deleted the docs-no-local_ branch June 23, 2025 22:10
mshinwell pushed a commit to mshinwell/oxcaml that referenced this pull request Jun 24, 2025
@TheNumbat @mshinwell
Update docs with new local syntax (oxcaml#4164)
2deff15 
* remove local_ from docs

* keyword->annotation
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@ccasin ccasin ccasin approved these changes

Assignees
No one assigned
Labels
documentation Improvements or additions to documentation
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@TheNumbat @ccasin
0