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