Workspace of org.overture.ide.platform on master

	html
	icons
	META-INF
	src/main
	target
	.gitignore	Aug 24, 2017 1:31:15 PM	18 B	view
	about.ini	Aug 24, 2017 1:31:15 PM	588 B	view
	about.properties	Jan 24, 2018 8:24:43 AM	345 B	view
	build.properties	Aug 24, 2017 1:31:15 PM	380 B	view
	introContent.xml	Aug 24, 2017 1:31:15 PM	110 B	view
	plugin_customization.ini	Aug 24, 2017 1:31:15 PM	480 B	view
	plugin.properties	Sep 6, 2019 3:01:16 PM	709 B	view
	plugin.xml	Aug 24, 2017 1:31:15 PM	2.59 KB	view
	pom.xml	Oct 29, 2018 6:51:09 PM	2.95 KB	view
	README.md	Aug 24, 2017 1:31:15 PM	150 B	view
	splash.bmp	Aug 24, 2017 1:31:15 PM	527.19 KB	view
	splash.xcf	Aug 24, 2017 1:31:15 PM	567.48 KB	view
(all files in zip)