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

docs: add some missing backquote to cmd options #41869

Merged
merged 2 commits into from
Nov 3, 2021

Conversation

johnnychen94
Copy link
Member

No description provided.

@johnnychen94 johnnychen94 added the docs This change adds or pertains to documentation label Aug 12, 2021
@codecov
Copy link

codecov bot commented Aug 12, 2021

Codecov Report

Merging #41869 (2ebbb2b) into master (2ebbb2b) will not change coverage.
The diff coverage is n/a.

❗ Current head 2ebbb2b differs from pull request most recent head d4e21b0. Consider uploading reports for the commit d4e21b0 to get more accurate results
Impacted file tree graph

@@           Coverage Diff           @@
##           master   #41869   +/-   ##
=======================================
  Coverage   78.56%   78.56%           
=======================================
  Files         351      351           
  Lines       74030    74030           
=======================================
  Hits        58161    58161           
  Misses      15869    15869           

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 2ebbb2b...d4e21b0. Read the comment docs.

@vtjnash
Copy link
Member

vtjnash commented Aug 16, 2021

Looks like the text for the other options are kept in sync too, otherwise LGTM for merging

@ViralBShah ViralBShah merged commit e8cebcd into JuliaLang:master Nov 3, 2021
LilithHafner pushed a commit to LilithHafner/julia that referenced this pull request Feb 22, 2022
* docs: add some missing backquote to cmd options

<skip ci>

* also change the phrase
LilithHafner pushed a commit to LilithHafner/julia that referenced this pull request Mar 8, 2022
* docs: add some missing backquote to cmd options

<skip ci>

* also change the phrase
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.

4 participants