dev/provisioning/modules/puppi/.project
author nowmad@nowmads-macbook-pro.local
Wed, 20 Jan 2016 13:04:27 +0100
changeset 89 89be68e13215
parent 28 b0b56e0f8c7f
permissions -rwxr-xr-x
fix a problem after reloading the page the date tags couldn't be deleted

<?xml version="1.0" encoding="UTF-8"?>
<projectDescription>
	<name>puppi</name>
	<comment></comment>
	<projects>
	</projects>
	<buildSpec>
		<buildCommand>
			<name>org.cloudsmith.geppetto.pp.dsl.ui.modulefileBuilder</name>
			<arguments>
			</arguments>
		</buildCommand>
		<buildCommand>
			<name>org.eclipse.xtext.ui.shared.xtextBuilder</name>
			<arguments>
			</arguments>
		</buildCommand>
	</buildSpec>
	<natures>
		<nature>org.cloudsmith.geppetto.pp.dsl.ui.puppetNature</nature>
		<nature>org.eclipse.xtext.ui.shared.xtextNature</nature>
	</natures>
</projectDescription>