<?xml?>

<workspace>

	<settings>

		<label>mini_editor</label>

	</settings>

	<users>

		<user>

			<path>mini_editor.jcu</path>

		</user>

	</users>

	<projects>

		<project>

			<path>mini_editor.jcp</path>

		</project>

	</projects>

</workspace>