p2.eclipse-plugin:org.eclipse.ui.editors-3.13.0.v20191203-1122.jar
MD5: 0e75a50c08bfe061e01a9f9e5b5100bb
Introduced 2 yr 10 mo ago
outside Jenkins
Usage
This file has been used in the following places: