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.2-p2artifacts.xml 592 B  view org.overture.ide.plugins.externaleditor-2.7.2-p2metadata.xml 2.23 KB  view org.overture.ide.plugins.externaleditor-2.7.2.jar 11.37 KB  view org.overture.ide.plugins.externaleditor-2.7.2.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 (#27), 4 mo 29 days ago
• Last stable build (#27), 4 mo 29 days ago
• Last successful build (#27), 4 mo 29 days ago
• Last completed build (#27), 4 mo 29 days ago