the patch of mh for tomcat 4.1.* made the servlet-config incompatible with tomcat...
[mir.git] / COPYING
2002-09-01 mhMir goes GPL