Workspace of org.overture.ide.vdmrt.debug on master

	icons/cview16
	META-INF
	src/main/java/org/overture/ide/vdmrt/debug
	target
	build.properties	Aug 24, 2017 1:31:15 PM	191 B	view
	plugin.properties	Aug 24, 2017 1:31:15 PM	101 B	view
	plugin.xml	Aug 24, 2017 1:31:15 PM	5.27 KB	view
	pom.xml	Oct 29, 2018 6:51:09 PM	645 B	view
(all files in zip)