.project
author hamidouk
Mon, 24 Oct 2011 12:42:15 +0200
branchpopcorn-port
changeset 124 2758dfb208b2
parent 0 c357d5b60635
child 909 aa0e42229784
permissions -rw-r--r--
changed widget.js to add some properties to the widget. Widgets now only get the gui options as a parameter instead of the whole configuration.

<?xml version="1.0" encoding="UTF-8"?>
<projectDescription>
	<name>metadataplayer</name>
	<comment></comment>
	<projects>
	</projects>
	<buildSpec>
	</buildSpec>
	<natures>
	</natures>
</projectDescription>