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

Cleanup of warnings in documentation admonitions #36887

Merged
merged 1 commit into from
Aug 3, 2020

Conversation

Seelengrab
Copy link
Contributor

#34670 (comment)

Seems like they were missed, either when changing doc systems or when changing the keyword in the markdown parser.

If there are other places that I missed or other keywords that have not been changed, we can update those here as well.

@Seelengrab
Copy link
Contributor Author

This doesn't really need CI - is there a way I can mark this PR (or future ones, if necessary) not to run CI? I had a quick look through CONTRIBUTING.md, but didn't find anything.

@fredrikekre fredrikekre merged commit ea07765 into JuliaLang:master Aug 3, 2020
@fredrikekre fredrikekre added the docs This change adds or pertains to documentation label Aug 3, 2020
simeonschaub pushed a commit to simeonschaub/julia that referenced this pull request Aug 11, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
docs This change adds or pertains to documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants