Skip to content

Fix docs Manifolds.jl Q2, different logmaps#842

Merged
dehann merged 1 commit into
masterfrom
22Q2/docs/maniQ2fix
Apr 7, 2022
Merged

Fix docs Manifolds.jl Q2, different logmaps#842
dehann merged 1 commit into
masterfrom
22Q2/docs/maniQ2fix

Conversation

@dehann
Copy link
Copy Markdown
Member

@dehann dehann commented Apr 7, 2022

@dehann dehann merged commit d15eed2 into master Apr 7, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

Development

Successfully merging this pull request may close these issues.

2 participants