Workspace of The Overture Tool Platform root on master

	.git
	.repository
	core
	documentation
	externals
	ide
	src
	workspace
	.gitattributes	Oct 7, 2015 6:07:06 AM	432 B	view
	.gitignore	Jun 3, 2019 3:55:26 PM	2.15 KB	view
	.gitmodules	Oct 7, 2015 6:07:06 AM	150 B	view
	.travis.yml	Oct 7, 2015 6:07:06 AM	940 B	view
	ISSUE_TEMPLATE.md	Nov 10, 2017 2:23:43 PM	549 B	view
	Jenkinsfile	May 18, 2018 12:31:18 PM	3.60 KB	view
	LICENSE	Oct 7, 2015 6:07:06 AM	34.30 KB	view
	overture_settings.xml	Oct 6, 2016 11:35:18 AM	1.17 KB	view
	overture.release.properties	Nov 10, 2020 4:22:17 PM	58 B	view
	pom.xml	Nov 10, 2020 4:22:17 PM	14.26 KB	view
	README.md	Sep 30, 2019 11:15:00 AM	1.19 KB	view
(all files in zip)