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

Jump to bottom

Fix broken link in run_doc how-to #2991

Merged
merged 1 commit into from
Jan 23, 2021
Merged

Fix broken link in run_doc how-to #2991

merged 1 commit into from
Jan 23, 2021

Conversation

sezanzeb
Copy link
Contributor

No description provided.

@piskvorky piskvorky changed the title to_python.py link was broken [MRG] Fix broken to_python.py link in docs how-to Oct 25, 2020
@piskvorky piskvorky changed the title [MRG] Fix broken to_python.py link in docs how-to [MRG] Fix broken link in run docs how-to Oct 25, 2020
piskvorky
piskvorky approved these changes Oct 25, 2020
View reviewed changes
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.

Nice catch, thanks!

@piskvorky piskvorky requested a review from mpenkov October 25, 2020 09:52
@mpenkov mpenkov added the documentation Current issue related to documentation label Jan 23, 2021
@mpenkov mpenkov changed the title [MRG] Fix broken link in run docs how-to Fix broken link in run_doc how-to Jan 23, 2021
@mpenkov mpenkov merged commit 77d105d into piskvorky:develop Jan 23, 2021
# for free to join this conversation on GitHub. Already have an account? # to comment
Reviewers

@piskvorky piskvorky piskvorky approved these changes

@mpenkov mpenkov mpenkov approved these changes

Assignees
No one assigned
Labels
documentation Current issue related to documentation
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@sezanzeb @piskvorky @mpenkov