p2.eclipse.plugin:org.eclipse.ui.workbench-3.116.0.v20190826-1428.jar

MD5: 3059fae406439781fe766c3d420c32b1

Introduced 2 mo 15 days ago outside Jenkins

Usage

This file has been used in the following places:

continuous	#796
continuous/org.eclipse.texlipse:org.eclipse.texlipse	#796
continuous/org.eclipse.texlipse:org.eclipse.texlipse.main	#796
nightly	#2264-#2268
nightly/org.eclipse.texlipse:org.eclipse.texlipse	#2264-#2268
nightly/org.eclipse.texlipse:org.eclipse.texlipse.main	#2264-#2268