annotate .settings/.jsdtscope @ 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 <classpath>
7d231e4e86e5 environment setting
Jorge Urzua <jurzua@mpiwg-berlin.mpg.de>
parents:
diff changeset
3 <classpathentry kind="src" path="WebContent"/>
7d231e4e86e5 environment setting
Jorge Urzua <jurzua@mpiwg-berlin.mpg.de>
parents:
diff changeset
4 <classpathentry kind="con" path="org.eclipse.wst.jsdt.launching.JRE_CONTAINER"/>
7d231e4e86e5 environment setting
Jorge Urzua <jurzua@mpiwg-berlin.mpg.de>
parents:
diff changeset
5 <classpathentry kind="con" path="org.eclipse.wst.jsdt.launching.WebProject">
7d231e4e86e5 environment setting
Jorge Urzua <jurzua@mpiwg-berlin.mpg.de>
parents:
diff changeset
6 <attributes>
7d231e4e86e5 environment setting
Jorge Urzua <jurzua@mpiwg-berlin.mpg.de>
parents:
diff changeset
7 <attribute name="hide" value="true"/>
7d231e4e86e5 environment setting
Jorge Urzua <jurzua@mpiwg-berlin.mpg.de>
parents:
diff changeset
8 </attributes>
7d231e4e86e5 environment setting
Jorge Urzua <jurzua@mpiwg-berlin.mpg.de>
parents:
diff changeset
9 </classpathentry>
7d231e4e86e5 environment setting
Jorge Urzua <jurzua@mpiwg-berlin.mpg.de>
parents:
diff changeset
10 <classpathentry kind="con" path="org.eclipse.wst.jsdt.launching.baseBrowserLibrary"/>
7d231e4e86e5 environment setting
Jorge Urzua <jurzua@mpiwg-berlin.mpg.de>
parents:
diff changeset
11 <classpathentry kind="output" path=""/>
7d231e4e86e5 environment setting
Jorge Urzua <jurzua@mpiwg-berlin.mpg.de>
parents:
diff changeset
12 </classpath>