adding servlet api (from tomcat)

[gigi.git] / .classpath

diff --git a/.classpath b/.classpath
index fb5011632c0ab8d6649a148c6fb5845a1b34c747..342147deed9492586ed3c076b286d2fe31402d94 100644 (file)
--- a/.classpath
+++ b/.classpath
@@ -1,6 +1,7 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <classpath>
        <classpathentry kind="src" path="src"/>
 <?xml version="1.0" encoding="UTF-8"?>
 <classpath>
        <classpathentry kind="src" path="src"/>

+       <classpathentry kind="src" path="lib/servlet-api"/>

        <classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER"/>
        <classpathentry kind="output" path="bin"/>
 </classpath>
        <classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER"/>
        <classpathentry kind="output" path="bin"/>
 </classpath>