![[Jenkins]](/sphinx/static/877f1b45/images/svgs/logo.svg){kind=logo}
org.eclipse.sphinx.plugins:org.eclipse.sphinx.emf.workspace.ui-0.13.1-SNAPSHOT-sources.jar
MD5: d44df4afc8c1962d0077b5dab39d33bd
Introduced 8 mo 1 day ago
Success
Usage
This file has been used in the following places:
| gerrit | Unstable |
| gerrit/org.eclipse.sphinx.plugins:org.eclipse.sphinx.emf.workspace.ui | Success |