robots-from-jupyter
diff --git a/‎docs/RobotLab-Workshop_2019-01-16.pdf renamed to ‎RobotLab-Workshop_2019-01-16.pdf b/‎docs/RobotLab-Workshop_2019-01-16.pdf renamed to ‎RobotLab-Workshop_2019-01-16.pdf
diff --git a/‎docs/index.html renamed to ‎index.html b/‎docs/index.html renamed to ‎index.html