Merge branch 'master' of https://kraev@git.eclipse.org/gitroot/libra/org.eclipse.libra.git
tree: 3eb09d4e3e0e734bc96a029e83d453bd4a211863
  1. development/
  2. features/
  3. plugins/
  4. tests/
  5. .gitignore