Workspace of vdm2c-release on master

	.git
	c
	cases
	core
	ide
	release
	repository
	target
	.gitignore	Nov 22, 2018 12:41:11 PM	1.89 KB	view
	.gitmodules	Nov 22, 2018 12:41:11 PM	625 B	view
	CSVTestInput.csv	Nov 22, 2018 12:41:11 PM	67 B	view
	git-set-private-key.sh	Nov 22, 2018 12:42:40 PM	265 B	view
	Jenkinsfile	Nov 22, 2018 12:41:11 PM	4.47 KB	view
	overture.release.properties	Nov 22, 2018 12:41:11 PM	70 B	view
	perform-release.sh	Nov 22, 2018 12:42:39 PM	5.27 KB	view
	pom.xml	Nov 22, 2018 12:52:00 PM	11.69 KB	view
	readme.md	Nov 22, 2018 12:41:11 PM	1.12 KB	view
	ssh	Nov 22, 2018 12:42:40 PM	105 B	view
(all files in zip)