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