GitHub repository: pk-codebox-evo/tools-dev-eclipse-eclipse.platform
Primary language: Java
Description: Eclipse Platform project repository (eclipse.platform)