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-2.7.4-p2artifacts.xml 592 B  view org.overture.ide.plugins.externaleditor-2.7.4-p2metadata.xml 2.23 KB  view org.overture.ide.plugins.externaleditor-2.7.4.jar 11.37 KB  view org.overture.ide.plugins.externaleditor-2.7.4.pom 660 B  view
	Recent Changes

Disk Usage Job 148 KB All builds 136 KB Locked builds - All workspaces 113 KB Slave workspaces 113 KB Non-slave workspaces -

Permalinks

• Last build (#28), 3 mo 23 days ago
• Last stable build (#28), 3 mo 23 days ago
• Last successful build (#28), 3 mo 23 days ago
• Last completed build (#28), 3 mo 23 days ago