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

	icons/cview16
	META-INF
	src/main/java/org/overture/ide/vdmsl/debug
	target
	build.properties	May 22, 2016 5:34:41 PM	191 B	view
	plugin.properties	May 22, 2016 5:34:41 PM	101 B	view
	plugin.xml	Aug 28, 2020 1:49:08 PM	5.28 KB	view
	pom.xml	Nov 10, 2020 4:22:17 PM	634 B	view
(all files in zip)