diff --git a/tomcat/tomcat.patch b/tomcat/tomcat.patch index 133b67d69fba..1815660b1b5b 100644 --- a/tomcat/tomcat.patch +++ b/tomcat/tomcat.patch @@ -1,36 +1,35 @@ -*** /dev/null 2008-02-01 11:10:25.957002171 +0100 ---- misc/build/jakarta-tomcat-5.0.30-src/jakarta-servletapi-5/build.xml 2008-02-01 16:10:27.000000000 +0100 -*************** -*** 0 **** ---- 1,31 ---- -+ -+ -+ -+ -+ -+ -+ -+ -+ -+ -+ -+ -+ -+ -+ -+ -+ -+ +--- misc/jakarta-tomcat-5.0.30-src/jakarta-servletapi-5/build.xml Thu Jun 19 16:03:59 2008 ++++ misc/build/jakarta-tomcat-5.0.30-src/jakarta-servletapi-5/build.xml Thu Jun 19 15:56:18 2008 +@@ -1,1 +1,31 @@ +-dummy ++ ++ ++ ++ ++ ++ ++ ++ ++ ++ ++ ++ ++ ++ ++ ++ ++ ++