Workspace of Overture IDE core plugins GUI on master

developerutils /

	META-INF
	src/main/java/org/overture/ide/plugins/developerutils
	target
	build.properties	Jun 6, 2017 9:27:20 AM	167 B	view
	plugin.properties	Jun 6, 2017 9:27:20 AM	0 B	view
	plugin.xml	Jun 6, 2017 9:27:20 AM	1.74 KB	view
	pom.xml	Nov 10, 2020 4:20:07 PM	727 B	view
	README.md	Jun 6, 2017 9:27:20 AM	159 B	view
(all files in zip)