Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Fix URL in doc string #3118

Merged
merged 1 commit into from
Apr 28, 2021
Merged

Fix URL in doc string #3118

merged 1 commit into from
Apr 28, 2021

Conversation

jonaschn
Copy link
Contributor

@jonaschn jonaschn commented Apr 15, 2021

The API docs were not displayed correctly.
image

Copy link
Owner

@piskvorky piskvorky left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks!

@jonaschn
Copy link
Contributor Author

@piskvorky @mpenkov By accident I force-pushed an old local patch-2 branch used for #3082 (that was already deleted on my github fork).
Now I figured out how to undo it and force-pushed again (the correct changes).

@piskvorky
Copy link
Owner

Thanks :)

@mpenkov mpenkov merged commit 57d3641 into piskvorky:develop Apr 28, 2021
@mpenkov mpenkov added the documentation Current issue related to documentation label Apr 28, 2021
@mpenkov
Copy link
Collaborator

mpenkov commented Apr 28, 2021

Thank you @jonaschn !

@jonaschn jonaschn deleted the patch-2 branch April 28, 2021 12:57
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
documentation Current issue related to documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants