annotate .settings/org.eclipse.wst.common.project.facet.core.xml @ 5:7d231e4e86e5

environment setting
author Jorge Urzua <jurzua@mpiwg-berlin.mpg.de>
date Fri, 12 Apr 2013 14:28:32 +0200
parents
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 <?xml version="1.0" encoding="UTF-8"?>
7d231e4e86e5 environment setting
Jorge Urzua <jurzua@mpiwg-berlin.mpg.de>
parents:
diff changeset
2 <faceted-project>
7d231e4e86e5 environment setting
Jorge Urzua <jurzua@mpiwg-berlin.mpg.de>
parents:
diff changeset
3 <fixed facet="wst.jsdt.web"/>
7d231e4e86e5 environment setting
Jorge Urzua <jurzua@mpiwg-berlin.mpg.de>
parents:
diff changeset
4 <installed facet="java" version="1.6"/>
7d231e4e86e5 environment setting
Jorge Urzua <jurzua@mpiwg-berlin.mpg.de>
parents:
diff changeset
5 <installed facet="jst.web" version="3.0"/>
7d231e4e86e5 environment setting
Jorge Urzua <jurzua@mpiwg-berlin.mpg.de>
parents:
diff changeset
6 <installed facet="jst.jsf" version="2.0"/>
7d231e4e86e5 environment setting
Jorge Urzua <jurzua@mpiwg-berlin.mpg.de>
parents:
diff changeset
7 <installed facet="wst.jsdt.web" version="1.0"/>
7d231e4e86e5 environment setting
Jorge Urzua <jurzua@mpiwg-berlin.mpg.de>
parents:
diff changeset
8 </faceted-project>