Commit 867d8498 authored by Wuttke, Joachim's avatar Wuttke, Joachim

Merge branch 'doc' into 'develop'

rm directory doc (most contents moved to repository nsx-intern)

See merge request !107
parents b7c19c20 9f869561
Pipeline #21031 passed with stage
in 28 minutes and 40 seconds