[PATCH] jakarta-servletapi-5::Another patch to the JSP XSD files

This time, with the patch. :) - Mark On Thu, 2002-09-19 at 19:36, Mark Roth wrote: > I just noticed my previous XSD patch from this Monday was never > applied. Was there a problem? > > This patch contains diffs based on the current workspace state, not > based on my previous patch. > > This

[PATCH] jakarta-servletapi-5::Another patch to the JSP XSD files

I just noticed my previous XSD patch from this Monday was never applied. Was there a problem? This patch contains diffs based on the current workspace state, not based on my previous patch. This patch contains another few patches to the XSD files. This affects both jsp_2_0.xsd and web-jsptagli