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

Move a bunch of examples into docstring #724

Merged

Conversation

fingolfin
Copy link
Member

This way they are also helpful for users of the REPL help

@fingolfin fingolfin force-pushed the mh/ideal-docstring-examples branch 2 times, most recently from 11e4fd4 to 2541ec8 Compare November 4, 2023 19:50
This way they are also helpful for users of the REPL help
@fingolfin fingolfin closed this Nov 5, 2023
@fingolfin fingolfin reopened this Nov 5, 2023
@fingolfin fingolfin merged commit e7f649d into oscar-system:master Nov 6, 2023
24 of 27 checks passed
@fingolfin fingolfin deleted the mh/ideal-docstring-examples branch November 6, 2023 10:20
hannes14 pushed a commit to hannes14/Singular.jl that referenced this pull request Nov 6, 2023
This way they are also helpful for users of the REPL help
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.

1 participant