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

Document __module and __source #38987

Merged
merged 1 commit into from
Dec 25, 2020
Merged

Document __module and __source #38987

merged 1 commit into from
Dec 25, 2020

Conversation

musm
Copy link
Contributor

@musm musm commented Dec 24, 2020

Rebased from #31647

Closes #31608

@musm musm added the domain:docs This change adds or pertains to documentation label Dec 24, 2020
@Keno
Copy link
Member

Keno commented Dec 25, 2020

These are not really keywords, but we use the same mechanism to document __init__ which isn't either, so LGTM.

@Keno Keno merged commit d70161e into JuliaLang:master Dec 25, 2020
@musm musm deleted the docm branch December 25, 2020 01:39
ElOceanografo pushed a commit to ElOceanografo/julia that referenced this pull request May 4, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
domain:docs This change adds or pertains to documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Document __module__ and __source__
3 participants