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

Fix typo in atlases documentation #751

Merged
merged 1 commit into from
Sep 25, 2024

Conversation

GregVernon
Copy link
Contributor

@GregVernon GregVernon commented Sep 25, 2024

Typo can be seen on https://juliamanifolds.github.io/Manifolds.jl/stable/features/atlases.html

image

Looks like a missing \ so I added it, though I haven't previewed if that does, in fact, fix it.

Copy link

codecov bot commented Sep 25, 2024

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 99.69%. Comparing base (315601e) to head (12dffbf).
Report is 1 commits behind head on master.

Additional details and impacted files
@@           Coverage Diff           @@
##           master     #751   +/-   ##
=======================================
  Coverage   99.69%   99.69%           
=======================================
  Files         123      123           
  Lines       11418    11418           
=======================================
  Hits        11383    11383           
  Misses         35       35           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

@kellertuer kellertuer added the preview docs Add this label if you want to see a PR-preview of the documentation label Sep 25, 2024
@kellertuer
Copy link
Member

Thanks for spotting that, indeed there is a \ missing. I am confident this does not need a preview. It will be visible in the dev-version after merge and be part of the next release then.

Thanks for the PR.

@kellertuer kellertuer merged commit 1180100 into JuliaManifolds:master Sep 25, 2024
24 of 25 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
preview docs Add this label if you want to see a PR-preview of the documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants