p2.eclipse-plugin:org.eclipse.ui.editors-3.11.0.v20170202-1823.jar
MD5: 9dc8b90df42b4b41a525f44266b52ea8
Introduced 5 yr 2 mo ago
outside Jenkins
Usage
This file has been used in the following places: