the patch of mh for tomcat 4.1.* made the servlet-config incompatible with tomcat...
[mir.git] / source / mir / util /
2002-08-25 mhmerge of localization branch into HEAD. mh and zap