Workspace of org.overture.ide.plugins.externaleditor on master

src / main / java / org / overture / ide / plugins / externaleditor /

	VdmExternalEditorActivator.java	Aug 24, 2017 1:31:15 PM	1.91 KB	view
	VdmExternalEditorImpl.java	Aug 24, 2017 1:31:15 PM	2.61 KB	view
(all files in zip)