Merge branch 'jemo-ui-user-management-0.1' of ssh://git.eclipse.org:29418/jemo/jemo into jemo-ui-user-management-0.1
tree: 543c625fe757eab55b90df86463ab4c4bffd8a32
  1. .gitignore
  2. core/
  3. ui/