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