minor step towards making web.xml tomcat 4.0 compatible.
authormh <mh>
Sat, 27 Oct 2001 17:06:47 +0000 (17:06 +0000)
committermh <mh>
Sat, 27 Oct 2001 17:06:47 +0000 (17:06 +0000)
commitc554960dd04a589a4b1caf667e06daf2cfa7e280
tree975870f58f3bea7600b5924469d7d3a68ca67d50
parentd0e2badee53d1a09fe1ca790a086ca04122f06c0
minor step towards making web.xml tomcat 4.0 compatible.
etc/web.xml