annotate .settings/org.eclipse.wst.common.project.facet.core.prefs.xml @ 9:2bc783262919 default tip

Implementation of Servlet
author Jorge Urzua <jurzua@mpiwg-berlin.mpg.de>
date Wed, 24 Apr 2013 10:34:46 +0200
parents 7d231e4e86e5
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
5
7d231e4e86e5 environment setting
Jorge Urzua <jurzua@mpiwg-berlin.mpg.de>
parents:
diff changeset
1 <root>
7d231e4e86e5 environment setting
Jorge Urzua <jurzua@mpiwg-berlin.mpg.de>
parents:
diff changeset
2 <facet id="jst.jsf">
7d231e4e86e5 environment setting
Jorge Urzua <jurzua@mpiwg-berlin.mpg.de>
parents:
diff changeset
3 <node name="libprov">
7d231e4e86e5 environment setting
Jorge Urzua <jurzua@mpiwg-berlin.mpg.de>
parents:
diff changeset
4 <attribute name="provider-id" value="jsf-user-library-provider"/>
7d231e4e86e5 environment setting
Jorge Urzua <jurzua@mpiwg-berlin.mpg.de>
parents:
diff changeset
5 </node>
7d231e4e86e5 environment setting
Jorge Urzua <jurzua@mpiwg-berlin.mpg.de>
parents:
diff changeset
6 </facet>
7d231e4e86e5 environment setting
Jorge Urzua <jurzua@mpiwg-berlin.mpg.de>
parents:
diff changeset
7 </root>