Merge branch 'develop' of https://git.eclipse.org/r/openk-platform/org.eclipse.openk.domain.assetdata into develop
tree: d4389c937b46b774a40183e284ee737ad5906410
  1. .gitignore
  2. Jenkinsfile
  3. dev/
  4. doc/