Workspace of org.overture.ide.builders.vdmj on master

	jars
	META-INF
	src/main/java/org/overture/ide/builders/vdmj
	target
	build.properties	May 22, 2016 5:34:41 PM	190 B	view
	plugin.properties	May 22, 2016 5:34:41 PM	0 B	view
	plugin.xml	May 22, 2016 5:34:41 PM	894 B	view
	pom.xml	Aug 28, 2020 1:49:08 PM	2.82 KB	view
	README.md	Oct 7, 2015 6:07:06 AM	185 B	view
(all files in zip)