Workspace of org.overture.ide.platform on master

	html
	icons
	META-INF
	src/main
	target
	.gitignore	Oct 7, 2015 6:07:06 AM	18 B	view
	about.ini	May 22, 2016 5:34:41 PM	588 B	view
	about.properties	Aug 28, 2020 1:49:08 PM	345 B	view
	build.properties	Jul 4, 2016 11:18:10 AM	380 B	view
	introContent.xml	May 22, 2016 5:34:41 PM	110 B	view
	plugin_customization.ini	May 22, 2016 5:34:41 PM	480 B	view
	plugin.properties	Nov 10, 2020 4:36:03 PM	691 B	view
	plugin.xml	Aug 28, 2020 1:49:08 PM	2.65 KB	view
	pom.xml	Nov 10, 2020 4:22:17 PM	2.94 KB	view
	README.md	Oct 7, 2015 6:07:06 AM	150 B	view
	splash.bmp	May 22, 2016 5:34:41 PM	527.19 KB	view
	splash.xcf	Oct 7, 2015 6:07:06 AM	567.48 KB	view
(all files in zip)