Skip to content

Remove user documentation

Florian Sesser requested to merge remove-user-docs into develop

As per our discussion in our Monday weekly, we remove the user-facing docs from this repo. It will live somewhere else.

Merge request reports