From 4ccc1e96bfa03599263ffad15f9005ca5bd03830 Mon Sep 17 00:00:00 2001
From: mdb <mdb@6335cc39-0255-0410-8fd6-9bcaacd3b74c>
Date: Thu, 28 Jun 2007 20:36:14 +0000
Subject: [PATCH] Use whatever servlet library is available. We're switching to
 Jetty 6 and Servlet 2.5 on Whirled and we want samskivert to remain happy.

git-svn-id: https://samskivert.googlecode.com/svn/trunk@2117 6335cc39-0255-0410-8fd6-9bcaacd3b74c
---
 etc/libs-incl.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/etc/libs-incl.xml b/etc/libs-incl.xml
index 8c042227..b3c4e011 100644
--- a/etc/libs-incl.xml
+++ b/etc/libs-incl.xml
@@ -10,7 +10,7 @@
     <include name="ehcache-1.2.jar"/>
     <include name="junit-3.7.jar"/>
     <include name="mail.jar"/>
-    <include name="servlet-2.3.jar"/>
+    <include name="servlet-*.jar"/>
     <include name="velocity-1.5-dev.jar"/>
   </fileset>
 </project>