Remove user documentation
As per our discussion in our Monday weekly, we remove the user-facing docs from this repo. It will live somewhere else.
As per our discussion in our Monday weekly, we remove the user-facing docs from this repo. It will live somewhere else.
approved this merge request
merged
mentioned in commit 5aa21a5f