Workspace of overture-pvj-main on master

	.git
	.repository
	core
	documentation
	externals
	ide
	src
	target
	.gitattributes	Jan 27, 2017 1:48:52 PM	432 B	view
	.gitignore	Nov 22, 2018 4:28:27 PM	2.15 KB	view
	.gitmodules	Jan 27, 2017 1:48:52 PM	150 B	view
	.travis.yml	Jan 27, 2017 1:48:52 PM	940 B	view
	ISSUE_TEMPLATE.md	Oct 16, 2017 8:34:49 AM	549 B	view
	Jenkinsfile	Mar 8, 2018 8:29:07 AM	3.60 KB	view
	LICENSE	Jan 27, 2017 1:48:52 PM	34.30 KB	view
	overture_settings.xml	Jan 27, 2017 1:48:53 PM	1.17 KB	view
	overture.release.properties	May 17, 2020 6:46:30 PM	58 B	view
	pom.xml	May 17, 2020 6:46:30 PM	13.96 KB	view
	README.md	Sep 9, 2019 1:48:44 PM	1.19 KB	view
(all files in zip)