p2.eclipse-plugin:org.eclipse.ui.editors-3.10.0.v20160505-0931.jar
MD5: fcdc31582d51f3bfe13bc9cfdfe61320
Introduced 6 yr 10 mo ago
outside Jenkins
Usage
This file has been used in the following places: