Merge branch 'documentation' into 'master'
Documentation update See merge request rex-dri/rex-dri!47
documentation/Dockerfile
0 → 100644
documentation/docker.md
0 → 100644
documentation/init_data.md
0 → 100644
documentation/set-up.md
0 → 100644