annotate .settings/org.eclipse.wst.common.project.facet.core.xml @ 1:ede4c4ead6f5

properties fuer die name server in web.xml eingebaut, zum instlalieren muss web.xml.template in web.xml umbenannt werden.
author dwinter
date Thu, 30 Jun 2011 11:21:29 +0200
parents 813aa2c5bc4b
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
813aa2c5bc4b first ingest
dwinter
parents:
diff changeset
1 <?xml version="1.0" encoding="UTF-8"?>
813aa2c5bc4b first ingest
dwinter
parents:
diff changeset
2 <faceted-project>
813aa2c5bc4b first ingest
dwinter
parents:
diff changeset
3 <runtime name="Apache Tomcat v6.0"/>
813aa2c5bc4b first ingest
dwinter
parents:
diff changeset
4 <fixed facet="jst.web"/>
813aa2c5bc4b first ingest
dwinter
parents:
diff changeset
5 <fixed facet="java"/>
813aa2c5bc4b first ingest
dwinter
parents:
diff changeset
6 <fixed facet="wst.jsdt.web"/>
813aa2c5bc4b first ingest
dwinter
parents:
diff changeset
7 <installed facet="java" version="1.6"/>
813aa2c5bc4b first ingest
dwinter
parents:
diff changeset
8 <installed facet="jst.web" version="2.5"/>
813aa2c5bc4b first ingest
dwinter
parents:
diff changeset
9 <installed facet="wst.jsdt.web" version="1.0"/>
813aa2c5bc4b first ingest
dwinter
parents:
diff changeset
10 </faceted-project>