Module org.overture.ide.plugins.externaleditor

Full project name: overture-master/org.overturetool.ide.plugins:org.overture.ide.plugins.externaleditor

	Workspace
	Last Successful Artifacts org.overture.ide.plugins.externaleditor-3.0.2-p2artifacts.xml 592 B  view org.overture.ide.plugins.externaleditor-3.0.2-p2metadata.xml 2.56 KB  view org.overture.ide.plugins.externaleditor-3.0.2.jar 11.34 KB  view org.overture.ide.plugins.externaleditor-3.0.2.pom 660 B  view
	Recent Changes

Disk Usage Job 158 KB All builds 145 KB Locked builds - All workspaces 114 KB Slave workspaces 114 KB Non-slave workspaces -

Permalinks

• Last build (#30), 8 mo 28 days ago
• Last stable build (#30), 8 mo 28 days ago
• Last successful build (#30), 8 mo 28 days ago
• Last completed build (#30), 8 mo 28 days ago