Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Conversation

@pat-s
Copy link
Member

@pat-s pat-s commented Apr 10, 2019

Superseeds #1654.

Fixes #1565.

pat-s added 3 commits April 10, 2019 23:32
Merge branch 'master' into split-task-help-pages

# Please enter a commit message to explain why this merge is necessary,
# especially if it merges an updated upstream into a topic branch.
#
# Lines starting with '#' will be ignored, and an empty message aborts
# the commit.
@larskotthoff
Copy link
Member

Thanks, merging (build failure looks unrelated).

@larskotthoff larskotthoff merged commit d7546ad into master Apr 14, 2019
@larskotthoff larskotthoff deleted the split-task-help-pages branch April 14, 2019 13:29
vrodriguezf pushed a commit to vrodriguezf/mlr that referenced this pull request Jan 16, 2021
* split task help pages

* NEWS
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

*Tasks should have their separate help pages

3 participants