Workspace of vdm2c-pvj on master

	.git
	.repository
	c
	cases
	core
	ide
	release
	.gitignore	Oct 2, 2017 3:05:17 PM	1.89 KB	view
	.gitmodules	Mar 1, 2017 6:16:13 PM	625 B	view
	buildInfo5286268382717008012.properties	Nov 29, 2017 11:23:50 AM	3.59 KB	view
	buildInfo5741956947353400587.properties	Nov 29, 2017 10:53:07 AM	3.59 KB	view
	CSVTestInput.csv	Mar 1, 2017 6:16:13 PM	67 B	view
	Jenkinsfile	Nov 29, 2017 11:37:22 AM	4.07 KB	view
	overture.release.properties	Oct 5, 2017 12:57:24 PM	72 B	view
	pom.xml	Nov 13, 2017 3:26:45 PM	11.69 KB	view
	readme.md	May 15, 2017 10:09:32 AM	1.25 KB	view
(all files in zip)