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.

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

include the [] doc string into the docs #55400

Merged
merged 1 commit into from
Aug 25, 2024
Merged

include the [] doc string into the docs #55400

merged 1 commit into from
Aug 25, 2024

Conversation

nsajko
Copy link
Contributor

@nsajko nsajko commented Aug 6, 2024

No description provided.

@nsajko nsajko added the docs This change adds or pertains to documentation label Aug 6, 2024
@nsajko nsajko mentioned this pull request Aug 6, 2024
Merged
@nsajko nsajko force-pushed the square_brackets_into_docs branch from 0cf8d95 to cc02ce1 Compare August 9, 2024 09:01
nsajko
nsajko commented Aug 11, 2024
View reviewed changes
Copy link
Contributor Author

@nsajko nsajko left a comment

Choose a reason for hiding this comment

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

The entry for [] renders correctly in the PDF rendition of the manual, and all links lead where they're supposed to. Screenshot:

square_brackets

@nsajko
Copy link
Contributor Author

nsajko commented Aug 13, 2024

bump

@nsajko
Copy link
Contributor Author

nsajko commented Aug 15, 2024

ping

@nsajko
Copy link
Contributor Author

nsajko commented Aug 19, 2024

bump

@nsajko
Copy link
Contributor Author

nsajko commented Aug 23, 2024

ping

@giordano giordano added the merge me PR is reviewed. Merge when all tests are passing label Aug 23, 2024
@giordano giordano merged commit adb323f into JuliaLang:master Aug 25, 2024
8 checks passed
@giordano giordano removed the merge me PR is reviewed. Merge when all tests are passing label Aug 25, 2024
@nsajko nsajko deleted the square_brackets_into_docs branch August 25, 2024 12:31
KristofferC pushed a commit that referenced this pull request Sep 12, 2024
@nsajko
include the [] doc string into the docs (#55400)
4370edb
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@lgoettgens lgoettgens lgoettgens approved these changes

Assignees
No one assigned
Labels
docs This change adds or pertains to documentation
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@nsajko @lgoettgens @giordano