use master docs

mlr-org · Jun 7, 2018 · 143a2c4 · 143a2c4
1 parent 88350d0
commit 143a2c4
Show file tree

Hide file tree

Showing 20 changed files with 354 additions and 476 deletions.
diff --git a/docs/authors.html b/docs/authors.html
diff --git a/docs/index.html b/docs/index.html
diff --git a/docs/reference/OptPath.html b/docs/reference/OptPath.html
diff --git a/docs/reference/ParamBase.html b/docs/reference/ParamBase.html
diff --git a/docs/reference/ParamCategorical.html b/docs/reference/ParamCategorical.html
diff --git a/docs/reference/ParamFlag.html b/docs/reference/ParamFlag.html
diff --git a/docs/reference/ParamHandle.html b/docs/reference/ParamHandle.html
diff --git a/docs/reference/ParamInt.html b/docs/reference/ParamInt.html