Workspace of overture-development on master

	.git
	.repository
	core
	documentation
	externals
	ide
	src
	target
	workspace
	.gitattributes	Jun 6, 2017 9:27:19 AM	432 B	view
	.gitignore	Nov 22, 2018 4:28:09 PM	2.15 KB	view
	.gitmodules	Jun 6, 2017 9:27:19 AM	150 B	view
	.travis.yml	Jun 6, 2017 9:27:19 AM	940 B	view
	buildInfo5730349567027604025.properties	Feb 13, 2018 9:03:18 AM	3.84 KB	view
	ISSUE_TEMPLATE.md	Oct 16, 2017 9:00:56 AM	549 B	view
	Jenkinsfile	Mar 2, 2018 3:00:30 PM	3.60 KB	view
	LICENSE	Jun 6, 2017 9:27:19 AM	34.30 KB	view
	overture_settings.xml	Jun 6, 2017 9:27:20 AM	1.17 KB	view
	overture.release.properties	Nov 10, 2020 3:10:17 PM	58 B	view
	pom.xml	Nov 10, 2020 4:20:07 PM	14.26 KB	view
	README.md	Sep 9, 2019 1:48:37 PM	1.19 KB	view
(all files in zip)